Mp3 zu MIDI?

[Rusk]

Aber dann ist das Spiel viel zu groß...

...

Wie groß würde denn das Spiel werden?

Ich würde dir auch empfehlen bei den MP3s zu bleiben. In Zeiten wo das Internet nicht nur mehr für E-Mails und Co. gebraucht wird, sollten große Dateien keine Probleme darstellen.
Ab 2016, wenn die Telekom dann drosselt, kannst du ne MIDI-Version rausbringen.