In article ,
Theo Markettos wrote:
"Dave Plowman (News)" wrote:
What pitch are the pins? Could you modify a pair of suitable pliers by
drilling a hole in them to act as a crimp to change the pins from
square to round?

That sounds like a good idea. Or at least mangling the pins with pliers
sufficiently might work. Pins are 1.14mm square on 4.2mm pitch.

I'd say that's wide enough to get strong enough square nosed pliers in.
You might need a tungsten drill, though.

--
*A clear conscience is usually the sign of a bad memory *

Dave Plowman London SW
To e-mail, change noise into sound.