Conversation so far:
What puppet was Joe Raposo on in the series Sesame Street?
Joe Raposo usually chose to portray anonymous, silly characters in these segments, which were nearly always produced on 16 mm film.
Was Joe Raposo well known for his work in the series, Sesame Street?
Joe Raposo is best known for the songs he wrote for Sesame Street from its beginning in 1969 through the mid-1970s, and also for a time in the 1980s.
What songs did Joe Raposo write for in the series, Sesame Street?
Joe Raposo wrote the Sesame Street Theme as well as many of its most popular songs, such as Bein' Green, C is for Cookie.

Question: Did Joe win any awards for these songs?
Self-contained rewrite: Did Joe Raposo win any awards for the songs Sesame Street Theme, Bein Green, and C is for Cookie?