The Muppets the Muppets film and television library. Exceptions included the "Sesame Street" characters, which were previously sold to Sesame Workshop; the "Fraggle Rock" characters, which were retained by Henson; and the distribution rights to "The Muppets Take Manhattan", "Muppets from Space", and "Kermit's Swamp Years," which were retained by Sony Pictures Entertainment. Following the acquisition, Disney formed The Muppets Holding Company (later known as The Muppets Studio), a wholly owned subsidiary responsible for managing the characters and franchise. As a result, the term "Muppet" became a legal trademark of Disney; under license from Disney, Sesame Workshop continues to use the term
The Muppets Disney Records, including "Best of the Muppets: The Muppets' Wizard of Oz" (2005), "" (2006), "" (2011), "The Muppets: Original Soundtrack" (2011), and "Muppets Most Wanted: Original Soundtrack" (2014). Legal music publishing rights to Muppet-related songs such as "Rainbow Connection", are controlled by Fuzzy Muppet Songs and Mad Muppet Melodies, imprints of Disney Music Publishing. The Muppets appear at the Walt Disney Parks and Resorts, having first made appearances at Walt Disney World in 1990. Their first featured attraction, "Here Comes the Muppets", was a live stage show that opened shortly after Jim Henson's death and ran at Disney's Hollywood