Ich hab das aus diesen Platzgründen auch anders gelöst, fällt mir grade ein. Man nehme einen Y-Adapter von z.B. Raid am Öldruckschaltergewinde, welches komfortabel zur Seite weg geht, und setze da den Schalter und die neue Messdose ran. Dann wird das ganze angenehm einfach. Die Mehrkosten liegen bei etwa 8 Euro für diese Y-Ding.

Und bei eigentlich den meisten Anzeigeinstrumenten ist der Sensor inbegriffen. Das ist als eher die Regel als Ausnahme.

10 Dirham!