1) I would double the gravy recipe. I didn't this time, because honestly I'd forgotten how little it makes, but the recipe calls for enough ground beef that the extra is probably needed.
2) If you want to speed up the preparation process, you can use microwavable frozen potatoes that are already cut up and peeled for the mashed potatoes. Even though the recipe says that 2 pounds of potatoes should be fork-tender in about 12 minutes, I've always found that it takes a lot longer than that.
3) You can add any vegetable you like to it if it sounds good to you. If it's a firmer vegetable, add it with the carrots and onion; if it's a more "mushy" vegetable, add it with the peas.
*************************
First--well, after chopping the onion and carrots--I browned the ground beef, seasoned it with salt and pepper, and drained the fat from the pan. I didn't use oil because I used ground chuck (it was on sale), so I thought with a nonstick pan and a fattier meat, oil would only make everything greasy. Then I added the carrot and onion and cooked for about five minutes more.
I melted the butter, stirred in the flour to make a light roux, then added the Worcestershire and slowly whisked in the beef stock until a thick gravy formed.
While the meat and gravy was cooking, I microwaved the potatoes (10 minutes). For the mashed potatoes, I minced three cloves of garlic and heated it with a cup of half and half in a small saucepan until simmering. Then I stirred that into the potatoes until smooth, added 5 ounces of grated Parmesan cheese, and salted and peppered to taste.
Finally, I spread the mashed potatoes on top of the meat and vegetables and topped the whole thing with shredded cheddar cheese
I baked it for 35-40 minutes, and it fed two of us for about four days... and that's probably why I usually save it for parties!
DEEMS THIS RECIPE:
... much easier than dessert pies!