Talk:The Alligator King

Although it's relatively easy to know which cartoons Bud Luckey produced, animated and/or directed, I find it hard to believe that he was the singer on this or similar spots for Sesame Street. While spots like this one, Ten Turtles and Martian Beauty seem to have the same vocalist, Luckey's credited voice work for Pixar (as well as his natural voice in interview material) sounds very different to me than the singer on these songs, and some of the spots that he directed/animated obviously have different vocals (compare this song with Ladybugs' Picnic and That's About the Size of It).

Is there any documentation for any of these songs giving Luckey credit for vocals?