Deductions & credits

Box 1 is Salary less $8000 for HSA, less Dental Insurance, less TSP (401K).

Box 3 is maxxed out at $147000

Box 5 is Salary less $8000 for HSA, less Dental Insurance.

 

So the W2 reflects the $8000, another comment about the $8000, while the employer did send me the form to remove the $4000 they have no way of knowing if I actually submitted so in their eyes the W2 is correct.