Cinder has been to Portal before, she likes swimming in the ponds to cool off
If we only have a few people it wouldn't be a tragedy to move to a couple of the tent sites...at least then you get a picnic table and canopy of sorts. And if at least 2 people split the $17/day cost it is cheaper than the $8/person for the group site.