“I think [the current dining hall] does Anytime Dining just fine,” he said. “I don’t think there’s a need to put a whole new diner in its place. I guess it’s just another way to stay updated and keep up.” Once the new dining hall is operational, it will replace the 53...