I worked with someone back in the '90s who claimed he once worked for a Richard Butt, who would go by the nickname Dick. As mentioned, this was the '90s so it was well before the more famous dickbutt.