Well, unless they're cutting off DLR completely from anything VMK related, they won't do that. But you never know, so I'm not betting anything. VMK might very well end all VMK access on the west coast, and leave WDW as the last one standing. But think about it - Halloween isn't for a while from now - they're not gonna come out with a WDW Pumpkin anytime soon... and when Halloween rolls around, they might do something completely different so as not to copy what was already done at DLR. But why would they change the name? It's still a pumpkin from DLR, not WDW... it'd be like changing the name of anything that was from DLR. It doesn't HAVE to be done, since it's over with.