They do. Then they are supposed to call Fish and Wildlife and they come and remove them above a certain size.
Tip for you Gulf Coasters - if a gator comes at you, run at right angles to its’ line of travel. They’re pretty fast in a straight line but the can’t turn worth a damn.