Oh, Laurie! Crap is right!
Well, if it's a matter of just wanting to
not be at DLR during the most crowded point in the holiday season and still get the full array of holiday decorations, food, etc., that go up after Thanksgiving ends, you would still be okay if you went that week that starts with Monday, December 5. It's not a madhouse yet at that point. Of course, DLR may have their CM parties on 12/5 and 12/6 (or they could delay them by one week, like they did last year), but that won't ruin anything because you can still go to DCA or hang around the hotels.
It would probably even be okay if you went in the week of December 12. You'd have enough days in the park to get everything in even if it began to get crowded. But the real crowds will be Thanksgiving weekend and after mid-December.
So if Mike is able to switch vacation days to just one week later or two weeks later, and if you hurry hurry hurry and contact HoJo's before too many other people book, you should be okay!!
I have confidence you will pull off this holiday trip, Laurie! That hefty tax refund is a sign that your trip is meant to be and you will make it work somehow!