For downloading? Right-click on Joe's link, select "Download target as ..." or "Save target as ..." or similar, depending on your browser.

On my thread about little software helpers, our freaks have done what I expected. The VanBasco MIDI player recommended there by "Bill D" seems to be exactly what you need.