Here's the tune, "George Green's College Hornpipe", as we play it (mostly).

...or, you can click on the icon at the right to get a midi file. This was produced on Dave Webber's wonderful Mozart, which is essentially a notation package. You can do hoopy things with the midi as well, but I haven't bothered. No frills, default voices. Feel free to re-voice it and mail it back to me, but that's not really the point of a midi for this kind of use.