It’s not that much of a deal. I visited Florida as a kid several times. Outside of the amusement parks, it’s pretty dull. I know some folks down there and from what I see on their Facebook posts, it’s quite uneventful most of the time. And the gators aren’t that much of a menace like the Nile crocodile or the saltwater crocodile.