Thanks for the insight, everyone. We will not be taking advantage of this optional coverage, which I suspect was a bone thrown in because in 2018 our premiums and deductibles will go up, company-provided life insurance will decrease, and the 401k match will also decrease. Not surprising, but disappointing.