A self-service restaurant