@paulc I met him briefly a gazillion years ago when I as an assistant stage manager for one of his plays, Knock Knock that he came to see.