@6d6ec790 unfortunately “was”. I actually met him once in a bar when I lived in Manhattan.