Some of our neighbors have hired a company to put a liner in the old pipes which cost 5k instead of 20k.