Excellent! That's been a favourite "sing to the kids" song in my family for several generations now; I've always sung "puffer bellies"! The gent you learnt it from sounds fascinating---more please?

Puff, puff, toot, toot---off we go!