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...