Yeah, I caught that update in my edit. And the less said about that unholy abomination that is the other Taco Time, the better.
They sell a generic brand at Save-A-Lot. They are called:
TOTS. Anytime someone is going there and I want them to pick some up I say get me some TOTS!!! The tots shouted in my outdoor voice. Yeah, I crack myself up. Not so much my shopper. 
Looking at what McCain (the big Canadian potato company) sells in Canada, their “Tater Crisps” are similar, though a different shape.
Here’s McCain’s “Tasti Taters,” which are closer to the tot shape:
So, @Northern_Piper , you’ve got no excuse for not being able to find either Cavendish Farms’ version, or McCain’s version. Looking forward to your commentary on them. 
My favorite hot dishes are hamburger/rice/cream of mushroom soup/cream of celery soup and tuna/egg noodles/cream of mushroom soup/cream of celery soup. Served alongside bread and butter plus a steamed green vegetable, of course.
I always throw in some chopped onion and garlic as well.
He uses turkey so his vegetarian daughter can eat it (link).
I assumed tater tots were a staple in all US school cafeterias.
You didn’t ask me, but they’re disgusting.
Ivy got them once when we had freebie on the APP.
Sonics nacho cheese leaves much to be desired. It comes in a can. Arrrggghh!
(I think Sonic commandeered the name Totchos)
“God made beer tater tots because he loves us, and wants us to be happy.” - kenobi_65
I’ve only eaten at Sonic a few times. I really didn’t care for any of it. If I try this thing, I’ll make my own. No cheese in a can. 
And your assumption was correct.
Lunchroom fare also includes tuna melts, sloppy Joes, hamburgers stretched with soy meal, and pizza with sauce probably made from cream of tomato soup.
Tots; not just for kids anymore.
The best tots are Taco John’s Potato Oles. But they are non-standard, they have spice. For conventional tots, most commercial brands are fine, and air fryers are the best invention ever for tots (and really, any home french fried potato product).
As for the OP, I prefer a simpler hot dish: tuna noodle casserole. I have it all the time. I do use spice: Pleasoning, just like mama used to make,
Turkey isn’t okay for vegetarians.
psst … try clicking the link
They’re kind of like potato croquettes, although a croquette basically is a breaded and fried mashed potato stick or ball, whereas tater tots are made of shredded potatoes fried raw or even half baked.
Tater tots are much better than croquettes IMO. And it’s nice to read a wholesome thread involving a politician for once.
Taco Time has (had?) locations in western Canada, too. I ate a boatload of Mexi-fries growing up in Saskatchewan.
“What’s ‘tater tots,’ Precious?”
My mind is blown at the idea that someone doesn’t know what tater tots are.
It’s a little more understandable that someone might not know what hotdish is. Howard Mohr had to explain it in his book How To Talk Minnesotan.
But there is a Wikipedia article. It includes a section about the Minnesota Congressional Hot Dish Competition.
I was married to a Minnesotan for 20 years. Our kids grew up eating this dish. Economical, easy to make, and relatively nutritious. When you’re living on a military wage and feeding four kids, you’ll try most anything.
I am old and never heard the term hotdish.
However, I am well acquainted with casseroles.
New knowledge assimilated.