I took a chance on a repair: I drilled out the socket where the wire broke off, soldered the broken wire to a straight pin from the wife's sewing supplies, inserted the pin in the drilled-out socket, and clipped off the pin head and excess pin length. It worked!