Retirement tax questions

But we ARE paying now for owed taxes because the Fed taxes taken out weren't enough to cover box 1 wages and the box 1 wages are his contracted wages before TRS deduction.