There seem to be copies on the net.

eg. There's a midi you can download from here (you can refuse the ActiveX): Christmas Carols Page. Right click on the Play Midi link and Save Target As (don't use the Download button - that's to buy a quality copy). It's a piano arrangement. (I've got to go and look after some food now so I can't check out other copies!).

Mick