Just an FYI - I have been told the group tent sites at Portal are not available until the 10th

Since I am arriving the 9th, I will be sharing an individual tent site with Dave (Gizmo42), who is arriving the 8th.

So...AFAIK nobody from our group has reserved a group site for the 10th onward...