Florida is America’s most envied state when it comes to endless sunshine and warm weather, but it comes at a price. The ubiquitous backyard pools are subject to visits by crocodiles and alligators! Even in the off-season month of January, a Florida homeowner went out back to find an eight-foot crocodile taking a dip in her pool.

Another couple had the same experience in May, when an alligator ripped through the screen of their enclosed patio to cool off in their pool. According to the homeowners, the gator just swam around in lazy circles. Since spring not only brings hot weather but mating season as well, Floridians are accustomed to finding gators and crocs in unusual places. But if one turns up in your own pool, what are you supposed to do?

Your first step, of course, is to ensure that everyone is away from the pool and safe. Most crocodiles and alligators are happy to be left alone to cool off in the water and float around, but it can never be assumed they aren’t feeling irritated or hostile, especially since they like to go after cats and dogs when possible.

Once all pets are stowed safely inside and all humans have backed away, it’s time to make a call. Many people choose to call the Fish and Wildlife Commission, whose lines handle up to 150 calls a day from around the state. There’s also a Statewide Nuisance Alligator Program that takes calls for the same purpose. The operator then calls a gator trapper in your area, who comes out to your house prepared with a noose.

Once the noose is thrown around the animal’s neck, the mouth is taped shut and ropes are used to make sure the reptile is secure. The trapper lifts the animal out of your pool and into a secure metal box that can safely transport the unsuspecting crocodile or alligator to a new home.