Sorry, but I forgot to come back and post the outcome. I decided it was too risky to try to change the one sensor and instead of replacing the one by the pulley I just cleaned the heck out of it. It was so gunked up from all the oil changes over the years that I could barely even see the connector. Since I cleaned it, the problem has never come back so I hope that was it.