MIDIだとプレイヤー側で違う音になる可能性があるのがなぁ。
ダウンロードする側としては50MBぐらいまでなら許容かな。
本体とあわせて200MBまでなら10数分だし。
MP3に1票。