RV Water Softeners - Are They Worth It?