Here's a question for all you DISers who've been to WDW multiple Decembers. Our last trip was the first week in December 2001. It was great, low crowds, short lines. We are going this year 12/5-12/13 and I'm wondering if we can expect the same amount of crowds. I know early December is usually a slower time, but I'm wondering if 2001 was normal or if it was especially slow due to 9/11?