How do people in Florida get alligators out of there yard if they don't go away on there own?

They work through animal control. BTW, crocs are not much of a problem, unless you live in a salt marsh.