I was on the last Halloween on the High Seas cruise last year out of NYC. Day 5 was our day in Disney World. When we left the boat to go to the park, the Halloween decorations were up. When we came back to the Magic, all the Christmas decorations were up and they were playing Christmas music. That was pretty cool. We got to see both sets of decorations.