I think we cross posted, Fred. Thanks for the info on Kevin Danaher. Folktales from the Irish Countryside (Dublin, Mercier Press, 1967) could well be the main source for the story as told today. I think I first heard it told by Robin Williamson around 1982.