just to make sure, disney did get the rights to all of the muppet videos series (the 1985 muppet show compilation videos, jim hensons play-along video, and muppet sing-alongs) right? or are those still owned by the video companies that released them (although if that is the case, Disney should own the sing-along videos)