Does anyone know anything about the 4-star Estalagem Gaivota Spa Hotel which is located opposite the natural pools of Port Moniz, which we have just booked to stay at in October?