Did the Mormon Tabernacle Choir sing ‘Carol of the Bells’ in the movie Santa Clause (1994)?

Short answer: No, it is the US Air Force Singing Sergeants. Long answer, keep reading

Was watching Christmas movies setting up Christmas decorations when I thought I heard a familiar sound.