Pinephone - broken power button

[rorus]

So, I have been using my Pinephone, in a wallet case not designed for it, on a temporary basis. Was working well, but had to pop the Pinephone out of the case to press the power button.

Suddenly, a very soft "ping". The little dish-shaped aluminium plate came off the power button, revealing the two contacts (the inner copper dot and outer copper ring).

Power button still works if I short across the contacts with a conductive object.

Fixing the little aluminium plate back in place with a touch of cyanoacrylate glue did not restore the power button's function, had to remove it again.

Spoke to a friend we all call "MacGyver", he doesn't like even his chances of repairing a little momentary power button, says he's succeeded twice on about fifty devices attempted.

I need a replacement power button for the Pinephone. I've searched the datasheets and component list hoping for a component ID for the little momentary power button, but it only lists the larger modules.

Does anyone know what a suitable replacement button would be? Digikey component number or a link to eBay / Aliexpress would be most welcome!