Thinking of taking our three kiddos down to WDW over Christmas. Plan to arrive on Dec. 27 and leave Dec. 31st. We've been there in March and also in May, never Dec. I know it will be more crowded but is it worth the crowds? Any info would be helpful.