Unfortunately I don't have this in my extensive movie collection so was unable to quiz the end credits. My guess though is that it was probably recorded specially for the film and played by the MGM Studio Orchestra. But I have to say it's a damned good arrangement!