Yes you have to add the 4,000 back in from your own money. Or the withholding will become a taxable distribution. Make sure you put it in a Traditional IRA account not a ROTH.
