Is the sensor under that small dome on the dash? How hard would that be to replace?