Hello! Well, my booster pump finally died. I’m looking for a decent replacement while remaining on a budget. Any advice on models is certainly appreciated. I’ve been shopping the Dallas/Richardson, TX area to find someone to do the install. Most places are quoting $400. Thoughts, comments...