Are you using the term 'Christmas Carol' to mean a Christmas hymn, an ancient song or what the majority of any population would call a carol - any Christmas song. Yes it does seem incongruous to find Jingle Bells next to Joy to the World in an alphabetical buskers list of tunes, but actually no stranger than religious songs blasted over a supermarket sound system.