What's money?
He's near retirement age and (from what I can tell) is okay for money. Might as well have a hobby after retirement, I suppose. (He stops at almost every computer show or ham radio convention he passes, it seems; most of them, I've never heard of.)
"Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Knuth