"Derek Jolly" - what an appropriate name.

Just back from a session in a pub where I sang it. The fella playing the mandolin had to stop, because he was cracking up with laughter. Thanks again for the song!