Someone suggested I post this image again, for old times sake..
That one's a classic and should be posted more often.
Are you sure they would "kill" the gator? I am from Florida where gators can run amok. Even if they do end up somewhere dangerous (like a pool), they don't kill them. They just remove them to a local river or other water source where the fact that it is a gator area is clearly marked. While thinking the gator would kill a child is pretty remote, it could kill a pet which can be pretty awful (my pets are my kids). If the gator doesn't move on soon, (which it will if it doesn't find a mate), manual relocation will be his best option.
Yes, they often do.
It depends on whether they're classified as a nuisance or not. Most often, it's the humans who're the nuisances.
Jude is correct. Alligators considered a threat to people and/or property in the state of Florida are routinely euthanized by a bullet to the head, usually by a licensed trapper. Juvenile gators, those under three feet long, are relocated. The larger animals are often deemed a nuisance and disposed of, even if they've done nothing wrong, when only a single person reports that they felt threatened by the animal.
You said that where you live in Florida, "gators can run amok." Of course they can, as long as no one complains about them. My fear for Charlie is that if someone wants him removed from this area bad enough, as in killed, all they'd have to do is claim they felt threatened by him, whether it was true or not. And it will happen eventually, I fear, as he grows bigger and appears more menacing while going about the business of his survival.
I have my own ideas about relocating Charlie to a safer location. It involves a little help, a sizable bribe, a long road trip and a few laws broken; but if all goes according to plan will be worth the risk. And that's all I have to say about that, for now...