Last year, we went to Disneyland and the Haunted Mansion had been transformed into a Nightmare Before Christmas theme. My husband was terribly upset. This year in October we are going to Disney World. Does anyone know if the MK does the same thing as Disneyland or will he be happy to see his normal 999 ghosts? Thanks