Where and how were these insurance premiums identified as "post-tax" on his W-2?
Yes - If his medical insurance premiums were deducted from his after-tax earnings, then they should have been identified as "post tax" or "after tax" on his W-2.
