Apologies to the OP, we seem to have wandered off Butt Lengths.
Pete, you and I are in our seventies, soon these old stories will fade as we will.
Maybe we should start a thread specifically about this type of anecdote, so when we are dust, forum members will still get a chuckle.