This was my solution, borrowing from other's experience, posted for future pinball mechanics tackling this for the first time. I did NOT remove the actuators to perform this and am unsure why anyone would unless they are doing more than replacing the balls. I also did NOT cut into the new ball plastic. I know I still need to crimp the small rivets into the plastic arm, but wanted to post while this is fresh in my mind. Let me know if I missed anything?
Tools used: Dremel tool with cutting / grinding wheel, #4 / 40 tap and wrenches, screwdriver, heat shrink and lighter, #4 / 40 x 1" bolt and nut.
Steps: 1) cut the existing pin(s) end off, remove the existing ball arm, and pull the arm spanning the switches out. This will probably destroy the plastic ball piece, unless you are more careful than I was. 2) tap the top actuator hole and the new ball plastic top hole (yes, both). 3) trim the existing plastic sleeve about a quarter-inch with your cutting wheel and grind even. Install and heat an equal length (as the plastic sleeve) of heat shrink on the bolt, then put the sleeve over the top. 4) screw the bolt through the new actuator hole and through the new plastic ball piece, then cap off with a nut. Optionally put a little blue or lesser-strength Lock-tite on the nut. 5) check operation / for clearances.
I ran the bolt in the direction I did to put more surface on the plastic arm side, so as to make it harder to accidentally over-torque the new bolt.
DM me any questions. Peace.
IMG_3209 (resized).JPEGIMG_3210 (resized).JPEG