yes, they used to be common and cheap to replace, now they are no longer produced that I can find.
hopefully just renewing the wires will cure your issues, and long term wise, hopefully we can engineer some sort of alternative hall sensor to retrofit the system when the need arises.
Tilt your head, not the taco. - Pati Jinich
Charter member: T.O. club.
Happy Holidays DrLewall !