A restaurant with self-service