Müssen es unbedingt Midis sein? Die Auswahl ist bei mp3 nicht nur wesentlich größer, in den meisten Fällen klingen die Musikstücke auch besser.