How much does it cost to repair a main line?