Thanks for your reply, let me clarify. I did not get the money from IRS. I received it as part of my salary in 2008 from my employer (the Federal Government). I paid taxes on it at that time. I got a notice last year that I had to pay the money back. Part of it was done as a garnishment.
