I found some very neat tact switches, but I have no idea what their manufacturer or part number is. They were alongside classic digitast switches, and the bottom part matches some digitast clones. Is anyone familiar with them? #electronics