The midi file will do, but essentially i'll just be decompiling the midi and cleaning it up to be readable by humans. My writing out the midi file will only be as accurate as the midi file that you gave me. A wave file would definitely be useful to check the accuracy of the midi.
Just a note, when I write any piece of game music out, I don't write out any of the percussion parts.
As for the links not working, try doing this instead:
1) Create a new text file, but save it as an html file.
2) put the following into the file:
<BEGIN FILE>
<a href = "http://put.the.link.in.here">Right click here and choose "Save As"[/url]
<END FILE>
Put as many of these in that file as there are *.pdf files to download.
3) Open this file in your web browser (make sure it's an *.html file, and not a *.txt file) and right click on the links to download them directly.