"In other words, if Box 5 was $100, and the HSA in Box 12 was $6, shouldn't I expect Box 1 to be $94?"
You stated it was Employer paid.
