Yes Grant, that sounds like the chap. He also involved Patrick in a Hitchiker’s Guide to the Galaxy ‘spin-off’ radio series.
Although the Patrick thing is fiction, loosely based on facts, they seem to have gone to amazing lengths to get the sound effects right. They even recorded John Mason using one of Patrick’s typewriters to get the Woodstock typewriter key pounding correct! There’s a picture of this taking place here: