You know, I very rarely hear about these sensors going out. Might be worth it to go to a pick and pull and trying out a used one. Should be able to get one for ~$10 I would think.