A friend told me a few weeks ago, it's good he can't retire early anyway as it's good to have something to do... Guy needs some hobbies outside of work.