Heard there was an alligator in Jenks lake? Not sure how big or how in the world it got there, but since I float tube the place frequently it made me wonder... Is the thing still in there or have they removed it? Basically, I don't wanna get my feet nipped. Thanks, I'd appreciate all the info I can get on this.