Doch den Standard-Sensor PT1/8x28 habe ich auch ... ich gehe mal von der Bezeichnung aus, dass es wohl der 1/8 Zoll Sensor ist.
Dieser war inkl. der blauen M14x1,5 Adapterschraube beim Drehzahlmesser dabei. Wollte eigentlich nur bevorzugt den roten Sensor, da ich schon mehrere Beiträge im Netz gelesen habe, dass die blaue Schraube gerne mal abreißt, da innen hohl.