I ran across this page while searching for what used to Big blue nation .com (looking for a place to b***h about UK sports) I've not heard of this marina on Cumberland, but looks like there could be an affiliation with Alligator1.
Any way anybody been there? worth fishing out of?? Still not sure why it came up under big blue nation.

Stoner
http://www.cavespringsmarina.com