I just want to make sure those who will be going out to El Mirasol are okay with the prices. Some of the reviews on Trip Advisor refer to it being sort of expensive. I can try to get an actual menu with pricing if you'd like.