I've been watching clips from The Great Space Coaster on YouTube, and have been liking what I've watched - after reading more about the cast, I saw that Jim Martin was a regular puppeteer, playing the character of Gary Gnu and others; from what I've seen, Martin's got some great puppeteering and vocal talent, which got me to wondering if he might be under-appreciated working with the Muppets? As far as I can remember, all I've read about his work with the Muppets is that he does the puppetry for Oscar whenever he and Big Bird are in scenes together and Caroll's in Big Bird, and that's it. I think he should've been given a chance to branch out a bit more.