You know, I am wondering the same thing myself. We have reservations in November as well (11-18) but I would prefer December (1st week) because I believe it is less crowded plus you get to see the Holiday decorations. I havent been able to find out if the 5/7 will be extended. If I do, I will post a new reply.
Enjoy your trip.