Back in the mid 90's I was doing a waste treatment plant in Savannah Georgia, and gators everywhere. The drainage ditch on the other side of the road would have one about every 5-10' and they wouldn't even move if you walked up to them. So about every other week we would kill one and grill steaks from the tail. But we were in town so , no guns , they had a six pound sledgehammer with a six foot handle and you guessed it, whack a gator... Anyway I hope this story wasn't distrubing , we used to kill deer the same way if they got trapped in our retaining ponds.