Thank you for that info. It was quite a bit, so maybe it was the latter. I guess we will know for sure once we get the letter from the IRS.
