Thanks for that help Peter
I got the key apart and found that there is a microswitch in there which is activated by the large push button. It had become disconnected from the circuit board. Puting it back together was not particularly difficult—just be careful of the spring which flips the actual key. When I soldered it back on, and synched it up again, it works fine!