As a long time user of parts from the Shack, let me comment that their
push button switches are not reliable... Order a name brand product
from DigiKey, or Mouser, or Dan's RF, etc...

Denny