Does anyone have any info on this lake. I know it is located somewhere in Bardstown KY and a couple buddies have caught 5 LBers out of there. I think you might have to have a permit in order to fish the lake and I dont know where you can purchase one. Anyone got any info?