@x999man - please confirm whether the $7.000 is already removed from Box 2a of Form 1099-R each year. I think that is what you are inferring by stating it is removed from your military pension (pre-tax), but it is not totally clear.
