Are the midi files or piano sheet music for the themes (ie: Cole theme) publicly available? Tried searching for the sheet music for which the themes were derived from online, but they were somewhat different from the game files. (I have the original files in the form of MP3s, also mp3 to midi conversion stuff doesn't work too well for slightly out of tune, very sustained music)