We have booked a trip to Disneyland Dec 4 – 10 this year and was just curious how bad the crowds usually are at that time? Thanks