The music for the tune, in case your friend is tempted to play it, can be found in the Royal Irish Rangers Collection. now, sadly, long out of print, and in the Brigade Book of Irish Pipe Music, available free on ceolsean.net.