If you watched the closing credits of H.R. Pufnstuf, you likely saw this credit that said "Vocals: The Pufnstuf." To me, that be would be a great name for a rock band. Anyone remember this credit?