Does anyone have a water softner installed in their home? Which vendor/product did you go with? At what cost?