Has anyone replaced the sensor for the RPM gauge. To me, it looks tricky to remove and replace. I’d appreciate any feedback or tips on this chore before I take my tools to it. Best, Chip Martin S/V Bonaventure, Hull #767 (410) 231-0199 chiprmartin at gmail.com Sent from my iPhone