I just wanted to point out that people actually jet ski, fish, and water ski in this lake. So it's very important that if there is a gator who isn't afraid of people, that it's removed. Personally, I love to waterski, but there is no way I'd be daring enough to do it in Florida.