Mike Harding played planxty's three gypsies last week. After the song it went into a pipe melody that sounded very carolan. Does anyone know what the tune was and where I can find the sheet music?