Thanks for this post. This online MIDI to MP# Converter is cool for one or two small midis. But if there are 50+, you can get network problems. This problem can be avoided with a commercial program. For example, MIDI to MP3, MIDI to MP3 Maker, or MIDI Converter Studio. I use the
latter tool, as it can both capture midi output of your sound card, like the rest of the tools, and also can render midi to mp3 using soundfonts, which is much quicker (10+ times).