Well, yes, I know, but, unless I am mistaken, there are people trained for that sort of thing, right? Croc and gator wranglers? Admittedly, we don't get many gators (read: none) in the Arizona desert running wild, so my knowledge is a bit sketchy at best. It just seemed odd since the gator had not eaten anybody. :shrug:
Alligators and salt water crocodiles in Florida do not have to eat anyone or their pets to be considered a nuiscance. Because children and pets have been snatched off of docks and waterfront property, the prescence of a gator or crocodile in an urban area can be considered a menace. Size is also a factor. It is also against the law in many Florida counties to feed or posess alligators or crocodilians (naturally, zoos, reasearch centers, and reptile farms have permits). Otherwise, these animals that have survived eons will associate humans with food. There are hunters liscenced to trap and euthanize large and or dangerous gators, as well as annula hunts, since the alligator rebounded from the threatened list. Smaller gators are often tagged and released.
Sadly, human encroachment into formerly wild areas has reduced available territory, not just for alligators, but for deer, panthers, black bears, and many birds. It is quite common to see falcons, hawks, kites, eagles, racoons and opossums in urban areas, as well.