Retirement tax questions

Yes I did and I did it online tax service that the IRS has and he gets his 44 dollars in fed tax that was taken from his W2 wage of 1056 that he made last year.   YAY.  He also gets his 42 in state taxes back too.