Particularly as they are PCB-mounted, am I correct in assuming that there are no simple replacement switches available?
Presumably the options are either a substantial rebuild to use alternative switches, or to flood the existing ones with switch cleaner and gently work them to clean them up?
Presumably the options are either a substantial rebuild to use alternative switches, or to flood the existing ones with switch cleaner and gently work them to clean them up?