Folks, I have one of such counters which is suffering of pushbutton failure. As far as I see, they are 6x6 mm Toko pushbuttons, which are, as far as I know, Unobtanium. Some tactile switches are the right size, but not the spread of the through leads... Can anyone help me with a suitable replacement? Thanks a lot. jon iza