Okay spoke with IRS, too late to take out the distribution, no penalty EXCEPT pay tax on it upon eventual withdrawal, hence double tax. Humbug. Lesson learned.
