The repair went very smoothly. The repairman had suggested two separate course of action choices. We chose the above-referenced fix since it was simpler while still expected to be robust enough to fix the problem. The cost was $250 for the labor, and $34.60 for the parts (four small plumbing conduits).