I know that the Jim Henson company create and built the muppet characters for Sesame Street. My question is do they also build the muppet characters for the internation versions of Sesame Street? (I know they do with Pino, the "Big Bird" from the Dutch version).