These are the ones sold by Marco and Pinball Life etc. The switch wire should not need to be bent on a new switch. The second type is the Cherry DB3 switch with a white button. These are rated at a higher value and therefore have a slightly stronger spring in the button.
