Is this a common problem? That's the same problem I have-water leaking from the plunger pin, behind the domestic hot water micro switch.
The housing that that plunger is mounted in, has 4 small screws on it. What would happen if they were taken off?
Just a note, but on the 100e...