and owned it for decades, although I think he let his wife keep it when they divorced a decade ago, so I don’t think he uses it anymore. He used it for most of his career, although he didn’t record everything there.