Repair pinhole in copper pipe in ceiling. There’s no guarantee line can be repaired due to the age and condition of the pipe.