Asking on behalf of a budget conscious friend who is travelling there over Christmas. Any good experiences FT'ers have made at relatively modest hotels, especially ones including spa options? Any advice is most welcome.