I recently purchased a Zumo Robot for Arduino v1.2 (https://www.pololu.com/product/2510) and noticed that the user button near the power switch does not work. It is supposed to be connected to pin 12. I tried the pushbutton example from the Zumo library and there was no change in the pin 13 led when the button is pressed. I then tried the same code by just connecting pin 12 to ground with the jumper and was able to blink the led on pin 13. I’m not fully sure whether there is a problem with the button on the board or a soldering problem since I currently do not have a multimeter to check the contacts. Any help would be great. Thank you!