. . . but he was a fun guy to have tea with — a font of amusing jokes and stories.