Jon, somebody re-did Cliffs of Moher as a hornpipe, and called it Clips of Mower.

Jon, you have a point about the source not knowing the name. I've learned a bunch of tunes in our session, and I don't have a clue what the names are, because they don't announce 'em, just play 'em.