Ich glaube nicht, dass Du da viel Glück haben wirst. Mitte Mai können die Temperaturen tagsüber schon durchaus auf 30° hochgehen, die Tagestemperaturen liegen aber auf jeden Fall weit über 20.Das Meer ist zwar noch kalt, die Pools, die ja ein bisschen kleiner sind, passen sich da schon wesentlich schneller der Umgebungstemperatur an. Nach meiner Erfahrung heizen die meisten Hotels die Außenpools nur bis Ende März, manchmal auch noch im April. Die Heizungen sind Energiefresser der übelsten Sorte und kosten damit ordentlich Geld, vom Umweltaspekt mal ganz abgesehen, da werden die Hotels vermutlich nicht großzügiger mit der Energie umgehen als nötig. Du könntest höchstens die Hotels Deiner engeren Wahl anschreiben und fragen.
Ich persönlich würde ein Hotel, das einen Pool noch Mitte Mai beheizt, aus Protest gegen solche Umweltsauereien auch nicht buchen, aber das ist meine Privatsache.