Back home and totally stuffed! I never eat that much!
We went to El Torito, the Mexican chain, because it was one of the few restaurants open nearby and they serve all afternoon and into the evening. It was a buffet with turkey, ham, mashed potatoes, sweet potatoes, green beans, plus enchiladas, rice, and other things. Lots to choose from.