Edit: Zum Thema Videospielmidis...

http://www.vgmusic.com/

Da findest du fast alles an MIDI-Gamemusik.
Fröhliches Stöbern.