El Ranchito is a Mexican restaurant.