Try Paycheck City. If he's salaried, he probably makes the same amount each check regardless of days worked.
If Gross is 9K a month, then Gross is 108 a year...
With assumptions of you live in DC, and claim married with 1 exemption with 10% coming out pre-tax... I get 2826.60, so I bet the $2477 per semi-month is right if things like health care and higher retirement is coming out...