Ah, It is not that switch that is the problem, even although that has been rebuilt from the broken plastic. I also am well practiced with cleaning the contacts.
I have about half a dozen of these where the broken plastic is beyond salvaging. I have had some 3D printed and these work well, but I would like to track down more original ones, just to be original.