On the other hand, we haven't seen anywhere an IRS announcement that it is taxable. Clearly they are struggling with this problem. Because, after all, they aren't very good at answering tax questions.
