On Dec 11, 2016, Alan Wiedie in Bolton, Connecticut, USA wrote:
"You can buy them new, but I decided to repair my original clamp where the cable lock pin had worn the hole way oversize. I drilled out the hole to 1/4", fitted a short length of old brass jet in the hole, soldered that to the clamp, and drilled the existing needle hole out with increasingly larger bits until the final one, 0.196, gave a nice fit for the cable lock pin. Better than new at no cost, and another piece of history saved from the recycler".