@fotom genau - ein kompletter Reparatursatz und die Kosten liegen bei 10€ pro Satz.
@Rogamani ich habe es genau so gemacht wie fotom es beschrieben hat. Kabel für Kabel. Soweit ich das beurteilen kann ist der Deckel verklebt o.Ä. und man bekommt den Schieber nicht einzeln heraus. Es ist tatsächlich mühsam jedoch machbar.
Die vier markierten Pins konnte ich nur durch Gegendrücken mit einem Innensechkannt rausschieben (ob dies die richtige Vorgehensweise war, kann ich nicht zu 100% beurteilen aber es hat funktioniert.