I saw a compatible welded replacement cable online a few days ago. $55 but I think it's worth it. It was not OEM (it was #2 cable and 58 inches long, factory was #4 and like 42 inches).
I was thinking of ordering one for mine for use "some day" but then didn't.