Hi,
I'm always hesitant to give my opinion because I'm not there with you. However, replacing the sensor really isn't too hard, and you should be able to get one from any parts store for a reasonable price. If it was me, I would try it.
Let me know if there is anything I can do to help.
Take care,
Joe
Tuesday, March 22nd, 2022 AT 9:26 PM