Served buffet-style in the dining hall.