his contribution was 638k past 10 years. employer contribution was 87k. And bulk is in 401k and individual after tax, not Roth.