By the way, it was not a IRA. But probably a 401K. You could have rolled it over to a IRA and avoided all the tax.
