You could just look him up in the S-1 to answer the question.

I have talked to him a couple of times and although I have no idea what the sum is yes, he made enough over the years to retire.