El Cid is a restaurant.