Oh that's good to know. I have December 8-12 booked, a Thursday to Monday. I'm thinking about changing it to the 3 - 7, a Saturday to Wednesday. Prices are about the same for both times. This will definitely factor in to my decision. I haven't been in December for 8 years. It used to be a yearly trip for us but then I discovered Halloween.
Keep Dec 8-12. You'll get 3 nights of longer park hours. And crowds will be low.