Yeah he's done here. 20m option. They sold their house or at least put it on the market. His wife, Julie, has been posting about their new home in the Carolinas etc etc for a while now.
He has 3 young children, has made over 100 mil, wouldn't be surprised if he does retire.