That is one of those stories you just can't make up.
To make things even funnier, they had relatives in another rig by the gate to the pool, across the campground. The relatives were experienced RVers that left our neighbors to their own trouble as they felt it would help them to learn. I actually felt sorry for the group as they were headed to Yellowstone for a total trip of two weeks, one RV being total rookies and the other experienced that refused to help the rookies out. If it was me, I don't think I would have taken the trip with the relatives. It was kind of like watching the Griswalds trip to "Wally World" in the movie American Vacation except that it wasn't going to be a vacation