I'm not sure that they can take $9000. I think it should be $6000, but the better question is why are they paying for three different insurance policies? They are eligible to exclude $3000 each, but they have to pay that through the pension. They shouldn't have coverage from 3 places.