Don't forget state treatment, which might be different.
In NJ, the 403b contributions were taxed as wages, so any distribution might only be partially taxable to NJ. How much of the $90k was earnings? The rest would NOT be taxable to NJ.
** I'm still a champion... of the world! Even without The Lounge.
