There are gators and turtles everywhere in Florida, and at Disney. Once the gators reach a certain length, they do remove them and take them offsite. The Coronado had one (which was actually named) and we had seen him in 2008, but when we got there in 2009 they had removed him because he had grown too big. In the meantime, a new one has arrived.