The songs are royalty-free music from the libraries of Audio Hero. Just search "Christmas", filter by Music, and I think you can listen to them on the website for free. You'll need credits to download / use in your works, though.
And thanks for the feedback!