Are there alligators in lake texoma?

There have been a couple sighted but, if memory serves, they've been put down. It's not something to be worried about but I know down in that area they've had a few warnings and such. Not necessarily at Texoma, but that SE corner of OK.