They got it done in the end, and the Vince Guaraldi Trio was able to include the song in A Charlie Brown Christmas. I guess I always assumed the song was sung by the child voice actors for the actual ...