Genau.
Ideales Vorgehen: Fehler auslesen (lassen).
Wenn der Fehler sonstwo liegt, also z.B. in den Sensoren, dann diese mal prüfen. Auch die Verkabelung dorthin.
Wenn aber der Fehler sagt die ABS-Pumpe sei defekt, dann liegt das Problem mit grösster Wahrscheinlichkeit an kalten Lötstellen im ABS-Steuergerät.
Das ist wohl etwas fummelig zum ausbauen und öffnen, aber sonst ziemlich einfach aufzuarbeiten.
Ich brauch wohl nicht extra zu erwähnen, dass absolut sauber und korrekt gearbeitet werden sollte, da es um ein sicherheitsrelevantes Bauteil geht.
Irgendwo schwirrt ne detaillierte Anleitung mit Bildern rum, such mal per Tante Google.
An "Spezialwerkzeug" brauchst Du eigentlich nur ne 5er(?) Aussentorxnuss.