As suggested above, he'll hit the current lifetime allowance fairly quickly with pension contributions like that, which is the same reason so many doctors are retiring early/moving abroad. Apparently, for senior judges neither the annual or lifetime allowances apply, I think they're one of the very few groups which aren't affected.
Ironically, I reckon lots of pilots going part-time will reduce supply and possibly increase pay and conditions as a result, which in return may result in even more pilots going part-time. I have a pipe dream that it'll be like the US where flying two days a week can get a narrowbody captain $250k a year!