Thanks!
Also... someone else pointed out to me that November is generally warmer AND the ship will be decorated for Christmas. Plus we may hit one of the parks before the cruise and they will be decorated too! I'm hoping to talk DH into the Magic Kingdom since we went to MGM last time, and I think our 4 year old will love it!