After looking it up, you can find reports from others stating the same things. When I was there as a kid, I remember that they claimed no one knew where the source of the water came from... I guess they actually know enough to help it out at least, lol

I really enjoyed it and would like to go again, but it's no Mammoth Cave.