Thanks, all. Looks like we've got enough people to get it going.

I originally mentioned Columbus Day in mid October, although it seems that a few would prefer November instead.

For those who said you're interested, would the weekend of 8-9 Nov be suitable?

Note that it's going to be either mid Oct or this new date - if we keep going date hunting, we'll never get there.