Does anyone have a recommendation of a campground in the Mammoth Cave area that has cabins? Planning a trip this summer with SIL & family. We are going in the PUP of course. They would like a cabin. We are open to either private or state park, whatever. Looked at the Jellystone, but very expensive and no trees - would be way too hot in July!!! Looked at the KOA, but not the best reviews. Any suggestions would be appreciated!