El Gran Buda is a restaurant.