If you have already reviewed his payslips and comp breakdown for the W-2 and are sure it's deducted from Net Pay, why should that be a pre-tax deduction?  You have already answered your own question.

This is some very costly insurance for an employer plan at $25k per year!  I'd ask a few more questions to satisfy my curiosity and have that documented in case some agent is equally curious before deducting that.