Part Numbers for pro Mini reset switch?

Other Hardware General Electronics
3

I believe I may have found it. digikey: CKN10361CT-ND

looks right from the pictures, and the dimensions match the .brd file for the pro mini. it's actually larger than the switch for the nano.