I think it's pretty charitable since he's taking a massive paycut. The maximum GS payscale is 160k which is nowhere near his current compensation.
Many in the government space can go higher than that through special exceptions, projects and various other reasons. So I'm not convinced you can simply conclude that he's making $160k.
How much does he make in Google?
I think he's already married ;)
Please don't do this here.
Stop getting on everyone's case. Lighten up & learn how to have fun.