We'd forgotten just how crowded it is in October, though, because last year we were there in December, and a couple years before that it was August. So it's been a while since we were there in October. Wall-to-wall people.
We're still hoping to move there and will revisit the situation when D finishes school.