Update from HR: talked with payroll and the post-tax deductions for the DP portion is reported in box 1 as taxable income.
