Danke für die schnellen Antworten. Den Schalter zu wechseln habe ich schon in Betracht gezogen, Kosten Schalter ca.120,-€ gegenüber einem kleinen Druckknopf für etwa 5,-€. Bin noch vom alten Schlag und schmeiße nicht gerne weg.
Werde jetzt erst einmal versuchen zu kleben. Würde, falls es nicht ausreicht jotwin nochmal kontaktieren bezüglich 3D Druck.