Response from Raul:
WATER HEATER IS UP AND RUNNING. Failure occurred over last weekend in guest stay. Leak was first reported late Saturday night, and repaired water heater was ready to be installed by next Tuesday afternoon. Replacing the whole water heater with a new unit was out of question because of its high cost. Where a plumber could do nothing, repairman took over and did a great job. Overhauled water heater should work fine for another five years. Property manager deserves credit for handling this the best possible way.
Host let guest know about willingness to make it up for the inconveniences, including paying for sauna baths in a neighboring day spa. Guest chose to dismiss host proposition.