If you're paying a lot of money for the car, you could always just make him change the sensor out before he sells it to you. They aren't that expensive, and take about 10 minutes to change out. Then you'll know for sure and won't have any lingering worries.