In Florida the problem is gators, not crocs. I don't recall there ever being a mass slaughter here. We do eat them though. There have been more than a couple incidents over the last year with people being eaten. Mostly the situation could be avoided but people can be stupid. That said I see gators every day and they end up in places where they shouldn't be, like people's pools. When large gators are encountered in close proximity to people they get reported and moved, however once they have bitten a human they are killed. A gator that thinks people are food cannot be allowed to repeat. I love reptiles as much as anyone else on here however I have no tolerance for the rare aggressive gator or the Burmese pythons that are where they are not supposed to be.