christmas music

I am just getting home from our recent trip to WDW and am feeling extremely nostalgic. This feels like a silly question - but Disney Springs plays a version of “Do You Hear What I Hear?” what feels like on repeat and I cannot find it for the life of me. It has been stuck in my head and I even...