Self-service restaurant offering a buffet.