The old sensor showed no signs of damage, there was no strange noises from the engine, so for the sake of £25.00 we fitted a new sensor. So far, all seems well. Unfortunately, I didn't get time to scope the output of the new sensor before the customer came to collect the car.