Party pies

Name: Party pies
Prep time: 15 min
Cook time: 45 min
Total time: 1 h
Cuisine: European, American
Ingredients: 9.20 gm rice bran oil; 1/2 small brown onion, finely chopped; 1 garlic clove, crushed; 1 small carrot, peeled, grated; 300g lean beef mince; 22.20 gm tomato paste; 20.00 ml plain flour; 191.25 gm beef stock; 12.20 gm worcestershire sauce; 2 tsp fresh thyme leaves; 5 sheets frozen shortcrust pastry, partially thawed; 20.60 gm milk; Tomato sauce, to serve