How to Recover $16k from the IRS