The only Christmas Bells song is Ring out the Bells for Christmas which has different lyrics. There is a small image of the sheet music which shows the full page if you click on it.
If the Guest, Exiled Tyke had shared the sheet music in his/her possession we may have been able to see if it is the same tune or song.