A restaurant diner is generally more casual than a restaurant.