PS the Burl Ives version reminds me that I have an album of children's songs by Burl Ives. I think I'll listen to that again, the song is not on it, it's just nice to listen to an LP again after some years.

Thank you very very much.

Pete