Diner, also operating as a restaurant/cafe/canteen.