El Rancho is a restaurant.