@tom-sanjose again, the IRS should flush it out in a few months; if it doesn't by November, I'd call the IRS, but trust that the IRS will clear it out and send you the refund.
