Thank you, Dick. Now I remember, I had another friend [or, to be more exact, his young son] at the time who told me had heard it. It was, now I recall, the youngest son, Tom, of Roy Palmer, one well-known to all of us on this site.