El Castillito is a restaurant.