Has anybody a part number for this ? I bought a new arm and sensor but my mechanic tells me the plug is broken. There is no part number on it