Most folks in government service are making significantly less than that. That's midrange GS-15 pay.