If he really needs a 12" main to get rid of the water I'm guessing it will have a good ROI no matter what it cost.