slightly OT: pronounciation



A bit strange question: How does one pronounce Booch (Grady Booch)?
At the office, we cite his name relatively often, and are never quite sure whether it should be like German word Buch, or more like butch.
.