From what I've understood about what Ken said, if they wanted a character from any particular Muppet program, they'd be able to get them. For example, even though they may not technically have the rights to the Jim Henson Hour, if they wanted to make a Digit figure, Henson would likely let them...