I've heard they have pulled gators that size out of several refuges around the state. They dragged a beast of a gator out of the Noxubee refuge not too long ago. I'm hearing the DNR is trying their damnedest to rid the state parks of these bull gators. Most importantly, they are desperately trying to keep it on the down low. They don't want people knowing these things are out there.