"Hey Sandy" doesn't appear to be in the DT, nor does it get other than a mention on the Internet. I know the lyrics and would happily post them, but do not know what the attitude of Harvey or his publishers would be.

They are in the Christy Moore songbook, however.

I revived the song briefly this time last year for a couple of gigs, and it seemed to stir a few memories, including some of Colin Scot who, at the time, was probably better known for singing the song (in the UK and Europe at least) than Harvey.