Someone (who shall remain nameless) sent me a midi file today

Neither VLC nor quicktime could play it. Wow, the entire corpus of midi files is lost to me. A day to remember.

I was tipped that GarageBand can handle them. Day saved.