Thanks, Merry Christmas. Yes, the Muppets are great - almost forgot about that Christmas Carol. I don't remember seeing the animated version from the 70'. Found this on youtube right now.

I like how it looks, so I'll watch it. Is this the featurette that you had in mind?