Looking for good batch-processing Midi to wav/mp3 converter

I'm looking for any MIDI to wav/mp3 converter,
very preferably freeware,
preferably with batch processing,
preferably one that converts faster than playing speed.

Any help would be most appreciated.

Can I ask why?

I'm looking to convert some videogame MIDIs from www.vgmusic.com to a burnable audio medium so that I can listen to them in the car and such.

My friends and I like music from classic NES games, as well as modern games, quite a bit. It's also an influence in a band of mine, which has melodies played by synthesizers most of the time.

I'd like to batch-process them because I have so many I'd like, and I'd the speed factor is for convenience. Freeware because I support freeware and sharing(and I don't have a ton of money to put into semi-useful software).

I tried "MID Converter 3.2" but it's only a trial, is very slow, only will process 6 songs at time at song pace, and only a minute of each song.

http://www.sonicspot.com/timidity/timidity.html
Might help
I googled 'midi mp3 converter command line' there seemed to be a fair bit floating around.

I'd be interested in hearing how this worked out for you. I've considered converting some edited midi files for use as backing tracks for my band.

I'll have to check that our, jaguar. The last project I had that needed this, approximately a year ago, I had no luck finding anything. I ended up doing it kludgily by using TotalRecorded to record the MIDI output. It came out OK, but it was a pain having to do it all in real time. (This was to convert practice files Mrs. Dallas produced for her chorus--one for each chorus part, with that part's notes in a different timbre & dynamic so it'd stand out--for burning to a CD. So we'll be doing it again this year.)