The microswitch in the image below does not work. What, exactly, is this type of diminutive switch called? Where might one source such? [mod edit - resized oversized image]