The sensor is something that I have read goes bad on these cars. I have seen this posted in other forums fairly often. I would do as you say and just replace it. The good news is that on our cars it isn't very difficult to do at all.