Oh, yeah. If your sensor is screwed (read : faulty - no pun intended, again :p ), it's a cheap replacement - like 20 bucks or so.

Just unscrew the old one out and screw the new one in with an adjustable wrench.

Cheers.