I would absolutely expect people to give that up, as well as any senior economist student would tell you, the labor preference curve is backward-bending after you start making a certain amount of money.
> He was so lucky and is giving it up! Aren't you curious why?
Not in the slightest. There are multiple studies saying that happiness plateaus after a certain amount of income. It's his life and he probably found his own plateau.