There's been a progression over the years, including at least onc when he was involuntarily recalled, IIRC. In the 80s, he got a huge chunk of back pay from his time from 45 on. I believe at this point he's formally retired, though.