Stop in for a cup of coffee

One of my MN FABO friends introduced me to "hot dish." That's what they call a casserole. One is called "tater tot hotdish." I made it for the second time tonight. Man it was good and easy.

Brown 1 lb ground beef and chopped onion & seasonings, drain off fat
Put in bottom of 9x9 baking pan, top evenly with mixed vegetables
Spread with 1 can undiluted cream of mushroom soup
Cover with slices of cheese
Line tater tots tightly in rows on top
Bake covered at 375 for 30 min then uncover and bake 15 min more to get your desired amount of crispness.

Sounds good! Kinda like a Sheppard's pie with tater tots.

Are the tots pre-cooked or frozen ready to bake?