Talk:Walt Disney World

Park Name Changes
Two of the parks at Walt Disney World have changed their names. EPCOT Center became Epcot '94 in 1994 and Epcot '95 in 1995 before becoming simply known as Epcot in 1996. And earlier this year, Disney-MGM Studios became Disney's Hollywood Studios.

With regard to the Studios, many if not most of the Muppet/Henson-oriented attractions at the park existed exclusively under the Disney-MGM Studios name. In fact, I think that only Muppet*Vision 3D and the Disney Stars and Motor Cars Parade survived the transition, and the latter is already gone!

Anyway, my question is essentially - do we change all instances of "Disney-MGM Studios" to "Disney's Hollywood Studios" or leave some as-is. I'd advocate that the more historical attractions (and references to the TV special) remain Disney-MGM Studios and that all other instances become Disney's Hollywood Studios.

With regard to Epcot, the name change doesn't really affect the article as much, since the only Muppet attraction there was the Muppet Mobile Labs, which only existed when the park's name was Epcot. Still, The Muppets at Walt Disney World was filmed when the park was Epcot Center, so what do we do about that?

Thoughts?