The hot tub and swimming pool area of Hotel Herradura, where we usually stay in San Jose.