Encoding these songs seems to me a worthwhile endeavor but I can't see the purpose in the gratuitous requirement for a proprietary format. Why not encode them as ABC per the ABC Plus project and use abc2midi to generate the MIDI files? Then we'll have the songs in a format everyone can use.

      - Mark