He was the post production supervisor on The Muppet Movie. Really! I was just watching this with my harry, and his name was in the credits. Hmmm. Crossover between HP and Rainbow Connection? Why am I not surprised