CS-2 top has about 90k, 10 years to retirement.
say will stay in CS-2 top level for the rest of 10 years, 1.5% increase every year compound will reach 105k.
Retirement is based on average income of the last 5 years, usually is the highest 5, say 100k
Monthly retirement income from government is about 1500/month cause servicable time is only 10 years.
Also, your friend needs to consider what type of retirement package s/he is receiving from Microsoft. DP or DC?
If DP, stays in Microsoft.
If DC, lock into something more safe, and then switch to government.