[Blacky]

For the cost, I would go ahead and change both. I went through this late last fall. Somehow both sensors failed. I tried changing one and then tried the other. It wouldn't start until I had replaced both with new ones. I would have saved myself a lot of time and assembly/disassembly if I had done both at once.
I think they are easily damaged when removing them. especially if they are stuck. I sold a known working one to a member a few years ago only to have him send it back because it didn't work.