I learnt this as a tune, while playing in a dance band in the late '70s. My Dad sang me the words more or less as written - definitely "Nothing to do but play with yourself" - which he had learnt in the Navy during WW2. He only knew that one verse, though.