Who pays for a main water line repair?