Is it accurate to say the $3500 is post-tax money and should be excluded from Box 2 Taxable Amount?"
I would not assume that.
