I disagree about having to pay taxes on this amount.
If the IRA is a Roth, withdrawals of up to $10,000 used to purchase a “first home” are completely free of tax and penalty (as long as the funds have been in the IRA for five years or more). In my case, the funds were there for more than 5 years and were used for a first time home purchase. No taxes should be paid on the $10K amount.
