Dr. M. Mc Gettrick,
I.T. Dept.,
NUI, Galway
Never used it before, but there is quick mus 2 midi at this site.
One way to convert if it has no batch conversion options is put
together a team of persons interested in the music, maybe a 10 person
team and each converts 250 songs.