MIDIだと環境によって音変わっちゃうしね
こだわりがあるならwavなりmp3なりにしたらいいと思う
大きさはギガ単位じゃなきゃ大丈夫じゃないかなあ

ところでそろそろ次スレの時期じゃね