Thanks for bringing this up. I couldn't use the Mudcat MIDI (how do you time a note with three crossbars on it?) so I went to JC's Tunefinder and found a delightful version.

We'll play it at our annual St Patrick's Day party.