diners—people who are eating a meal, especially in a restaurant