We will be traveling to the Mammoth Cave area in early August and are looking to camp at Barren River Lake State Resort Park or Nolin Lake STate Park. We will be there for about a week so we like the additional amenities of the resort park but are concerned about comments regarding recent beach closures and the general decline of the facilities. Any comments or suggestions regarding either of these parks? We will be tent camping. There will be 2 families with a total of 4 adults and 6 kids (infant - age 9).