Thanks for the info.

I guess what I was thinking about was less how to jerry-rig a workaround then just how to replace the sensor myself. As it stands I don't know where it is (and that article doesn't really help along those lines) so I'd have to just call and tell them "fix it" which I'm sure will cost more than if I could replace it myself.

But if it's too complicated to replace then I'll just bite the bullet and do it -- I don't know where I'd get the part, either, so maybe that will be what I have to do.