Conversation so far:
What puppet was Raposo on 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 know for his work in Sesame Street?
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 he write for Sesame Street?
many of its most popular songs, such as "Bein' Green", "C is for Cookie", "Sing" and "ABC-DEF-GHI".

Question: Did Joe win any awards for these songs?
Self-contained rewrite: Did Joe Raposo win any awards for "Sing?"