Naja, man hat aber die Möglichkeit die Midis über Soundfonts in mp3 umzuwandeln.
Vorteil ist besserer Sound und trotzdem einheitliche Musik, was bei mp3s, die man nicht selber gemacht hat, oft schwer wird.
Noch dazu sind einige Midis mit Soundfonts wirklich weniger nervig und ich weiß als Ersteller des Spiels auch dass sie bei jedem Spieler gleich klingen.
Nachteil sind eben größere Dateien, was heutzutage aber eher weniger ein Problem sein sollte.