I was also wondering if there were any big events any time in December (before Christmas). When we were there, it was Pop Warner week, and while it wasn't as crowded as holiday time, it certainly wasn't as empty as we'd hoped!
I didn't know about Pop Warner when I'd booked the trip, so I just wanted to see if there is anything else we might want to know about before we book our next December trip.