If we have the tune in our database (check out the blue box at the upper right corner of this page), you can download the MIDI file by holding down the shift key when you click on the "Play the Tune" message.