HP-30b - dead key - repair

[pito]

(06-19-2014 03:47 PM)Shawn Gibson Wrote:  ..I straightend ( and weakend ) them. Then I used an epoxy called JB weld to re-enforce the pin..

I can imagine to strengthen the bended pin with a small dia plastic tube put onto the pin.. Even to make a 1-2mm long diagonal slot into the bottom of the tube such it fixes the tube against the central rib.. And to fill the tube with epoxy..
For people who are hammering the keys I would advice to apply that to all the pins in advance..