U.S. government salaries are publicly available. Google and you can get a search tool and find the salary for any employee.