I broke the reset button (GPIO0) while soldering header pins on. I would like to try and replace the button (I need the soldering practice), but I don't have calipers to get an accurate measurement. I searched Ebay and found that 6x6mm is a pretty common size. Has anyone done this before? I would love to get some tips, tricks, and recommendations on a replacement button.