Nah, that's "green bean casserole." That's the ONLY hotdish we DON'T call hotdish. Ive always seen it with fried onions, not tots, but everyone makes a hotdish a little differently.

There's a thousand kind of hotdishes and there are good and bad ones, I guarantee you.