We’ve got a 9 person tent and it was impossible to set up at Jumbo Rocks in July. Beautiful campground!!