[GreenKeys] Need DS3000 replacement keyboard pushbutton switch information

[Jim Pruitt]

I broke one of the keyboard keys on my Hal DS3000.  It is the Z key but I
have the keytop.  Half of the pushbutton separated from the bottom half but
the little retaining dawg on one side came off so the top half will not stay
in place.

Can someone tell me what  commercial pushbutton I can order to replace that
or where I can find a replacement switch?  Will a pushbutton from an old PC
keyboard work?  They look shorter than the DS3000 keyes but bigger
pushbuttons are getting harder to find.

Thank you.

Jim Pruitt