Does anyone know if a 1990 525i, manuf. date 6/89, has a servtronic for the gear box? I can not find it on my car.