Where WAS the dining hall? I don’t remember seeing one. I remember the building where we paid, and the building where the bathrooms were, but that’s all. And none of them were that big.
It was "going" to be on the front side of that building from what I understood.