I worked with Mike for many years and had the pleasure of arranging his leaving party on his retirement. I will remember him as a clever and quietly amusing colleague.