Well, I downloaded the midi file so I could open it in my sequencing program and check if he left any titles on any of the tracks. The only title he left was the word "Mixdown". Now, I don't know if that's the name of the song, because the irony is that the mixdown is a stage in the production of a song. So either that's the name of the song, or he's just labelled this song as the mixdown stage of that song's production.