Actually in Miami/Dade county thier policy is if an alligator/croc is taken out of a public area (ie. pond, swimming pool) and it is over 4 ft. they kill it. They say it has something to do with the fact that the animal will find it's way back and at that size it poses a threat. Too bad for the animal. It was the woman's fault for not being more aware. What a way to learn.
I don't suffer from insanity, I enjoy every minute of it.