Yeah, it's not that the overlay wouldn't be popular at MK, it's the down time required to change it and then change it back. DLR gets a ton of locals, so they don't mind such cycles, but the once-in-a-lifetime WDW vacationer it going to want to see the Haunted Mansion. It's such a major attraction and a classic that they can't take it offline like that every year, twice a year. The projection overlays are a great ides, especially in that they are just for the parties. With digital technology that has become so easy. Even the Ghost Galaxy and Hyperspace overlays at DLR take almost no time to switch in and out of. I do enjoy Haunted Mansion Holiday and The Nightmare Before Christmas, but I definitely prefer that they keep it to DLR.