100K a month down to 30 odd, then in 5 years 60 odd, then in 15 years ( command ) 120 odd, so at retirement I reckon he will only be around 500K worse off overall.
Yep, once the novelty of sitting in the jumpseat eating sandwiches wears off, he might just regret it