My Bosch book calls for a part number of 13925 for the OE type and a 15735 for the Bosch generic, i.e. without the OE plug. I don't mean to ignore your original question but I don't know why you wouldn't go with the Bosch generic - they too are considerable cheaper than the OE type - and it's the exact same sensor with 60k life.