Christmas miracle. Woo hoo!
I would clean everything with isopropyl alcohol spray. Also spray the button. I once spilled coffee on my old dx7, and six months later it went crazy. The coffee spils inside corroded and rotted some diodes from the keyboard pcb. Even if the button works now, it can slowly start to rot frlm the inside.
I still would get in Touch with Elektron Support.