MP3's or MIDI?

[DustyPorViva]

What do you think would make a more productive game environment? From a scripting, from a download, from a player and from a end-game result perspective? Simply, what do you think would end up complimenting a server the most if it was done right?

MIDI's are small, but quality is way lower than MP3. MIDI's are also processed by the sound cards, thus different cards can produce different sounds. However, from what I remember, they are a bit easier to work with in terms of getting it to work with the gameplay, ie fading in and out and such.

MP3's have quality, but much larger download sizes. Also, possibly harder to make... I dunno, I'm no composer. However, I believe you can better access MP3 data, like the current position, and even alter it? So potentially you can define a position where the MP3 should loop, and change it via script resulting in more seamless looping than MIDI's(which would actually only loop when the song restarted). Again, I'm not entirely sure as I haven't work with MP3's much. Not sure if you can actually change the volume levels and such with this though.

Overall, music and sound control is very... well, it sucks in Graal. However, if it was done right with what we have, what do you think the better choice would be? Ideally, a server that had music and treated it like any professionally made game would. Fading, looping, starting/stopping on command, balanced with file-size and quality, and all other aspects.