Florida heat too hot?

[Taryn73]

Hi all! I'm in South Florida and it's been really hot. I think my two redfoots are ok but want to get your knowledgeable input. They each have their own area with plants and mulch and while I wouldn't call it deep shade, it is screened and they have plants that they hide under. I also have a sprinkler that goes off every hour for a minute. Under some of the bushes it averages 85 degrees. They have been staying in their houses most of the day which are reading 86-89 degrees. Their houses are in the covered part of the lanai. I have deep coconut coir inside their houses which read about 84-85 degrees with my thermostat gun and I'm waiting on a bag of cypress mulch to fill in the other side of their house. I also have a humidifier. I have water under the covered area for them to soak in so it's not a Jacuzzi. Do you think they have enough options to keep cool? I feel like this is the hottest summer and I worry and want to make sure I'm doing enough to keep them safe comfortable in this heat. Any suggestions or ideas? Thank you!!