The Truth About Tim Walz

Tater tots are a rather new and ghoulish addition to cooking in any shape or form and hot dish is a hell of a lot older than “flaked, pressed potato bits”.

I don't know, the Wikipedia sources credit a Mankato church in the 1930's as having the first hotdish recipe, and tater tots are documented as being invented in 1953, so tater tots have been around for well over half the history of hotdish.

I mean, of you go to the Wikipedia page for hotdish, its primary picture is a tater tot hotdish, and it specifically calls tater tot hotdish out as an example of "a traditional hotdish"

And as a matter of personal preference, I think that potatoes in general are a far tastier and often healthier form of starch than most noodles.