Instead of mixing in the tater tots, I took the suggestion from another comment and layered them on top. They were super crispy and tasty, and to make up for the lack of bulk in the actual dish I fried up some home fry style potatoes and mixed those in instead. Can never have too much potato