JHC Production of Atlas Shrugged?

[Lodovico]

I may be on a wild goose chase, but this is probably the best place for me to find an answer to this. In 1986, I attended the World Science Fiction Convention (WorldCon) in Atlanta. On the film program, there was a listing for a Henson-directed Muppet version of either Atlas Shrugged or The Fountainhead, starring Kermit. It was listed for the day after I left to go home, so I didn't get to see if it was for real. A friend tells me that there was a listing for a Muppet version of Atlas Shrugged at the 1993 DragonCon in Atlanta.
Does anyone know if this film really exists? Or if it's just a running joke among Atlanta SF fandom? Please advise.