Back in the 80s, my parents lived in WPB (Florida). One year, the locals were aware of EEE going around, but this was very carefully kept from any potential tourists. Looking at Desantis' appointments, it's not clear the public health department has improved, so I have to wonder how much worse the current malaria situation might actually be. Not to mention EEE, which seems to be endemic.