Yes you will need to replace the withholding with some other money or the withholding will become a taxable distribution. So you might owe some tax on the 10,000 on your return next year. But either way you will get credit for the 10,000 withholding.
