An air-conditioned dining room with buffet or table service, open for all meals.