Yeah, that's what I figured. The only reason I had some doubt is because I wondered who would go through the trouble of putting a false acting credit on the Wikipedia page of a puppeteer that hasn't been around since the early 90s.
On another note, has anyone ever seen this video of Richard Hunt at a high school reunion? Footage of Hunt off-screen is fairly rare and I thought it was a pretty interesting watch. (circa 1990)
Watch "Richard Hunt NVRHS Demarest Class of 69 20th reunion" on Streamable.
streamable.com