they did it says it was over run back in 2010 7 years after they re stocked it lakes bout 150 acres idk how the catfish get so big in there though all the time 40 pound channels were caught maybe cause theres no flatheads or blues in there so they have more to feed on just wondering how big and how easy it was to catch the crappie there we once saw a 9 pound bass floating on top of the water out there cause he had a 3 pound crappie stuck in his throat lol