Thanks for the reply! I will have a look there dealer told me that the sensor worth about 150$ so it should not be too bad.