Still reluctant to fix the underlying problem (anyone got 600€ in spare change?), I’ll just reseat the cable.
