Restaurants by the detroit opera house