Talk:Hippie

Name
Was Hippie Grump ever mentioend by name (or is there an official source for his name), or are we just calling him Hippie Grump because he is the Grump puppet decorated to look like a hippie? --Minor muppetz 19:32, 4 April 2006 (UTC)