A contractor I hired was installing a ceiling fan when he accidentally cut a wire used in radiant heat. I'm having another contractor remove my "popcorn" ceiling, so I'm not too concerned about the hole, but I'm very concerned about properly repairing the wire. What's the right approach?