El Castillo is a Mexican restaurant.