I wouldnt include any of that levied money on the return....just get the return filed. That will replace the return that IRS filed for them and the levied amount will already be credited on his account, if its too much, you'll get the difference refunded.