Does anyone know if the JD Boom Trac (height control) sensors are repairable? I have one that died for whatever reason. Of course, being JD they're pretty expensive new.Suggestions? Photos are the dead sensor.