Yes, we do have crocodiles in South Florida:
http://myfwc.com/wildlifehabitats/managed/american-crocodile/
from link:
American crocodiles (Crocodylus acutus) are a shy and reclusive species. They live in coastal areas throughout the Caribbean, and occur at the northern end of their range in south Florida. They live in brackish or saltwater areas, and can be found in ponds, coves, and creeks in mangrove swamps. They are occasionally being encountered inland in freshwater areas of the SE Florida coast as a result of the extensive canal system.
Like alligators, crocodiles are ectothermic, meaning they rely on external sources of heat to regulate their body temperature. Crocodiles control their body temperature by basking in the sun, or moving to areas with warmer or cooler air or water temperatures.
Dude, I know this. What made you think I didn’t?
I was referring to whether the story writer did.