My wife and I along with our two six-year-olds will be spending a couple of days at Mammoth Cave National Park over Memorial Day weekend. We'll be staying at the Mammoth Cave Hotel. I've read some pretty decent reviews on the restaurant there, so we'll probably give it a try. Are there any places that are close by (15 minutes or so) that are worth venturing out to? Thanks.