diner—a person who is eating a meal, especially in a restaurant