At 02:34 AM 28/12/2019 -0800, Anders wrote:
Glad to hear. If you ever find the HP Sparepart number of manufacturer number, then please post it.If it's any help, here's a photo of the bottom of the keyswitch.
It has "Maxi" molded in. Presumably the name of the manufacturer.
No part number on the switch that I can see.