And the distribution code should be in box 7 not 11, right? Code 7 is a normal distribution. Yes they should be taxed. Haven't they been taxed before?
