Thanks for ideas!!! Was wondering if anyone else had overcome this issue to save me some time.
I've got replacement pins in yesterday! Now just matter of getting stripped ones out. Two I did get out was bare without any threadlocker, so I suspect case of anodic corrosion. I'll use teflon-tape on those when re-installing to keep them insulated.
Using this thread as guide,
Stripped Allen Head, I drilled down shank of pin and use traditional screw extractors.
>SNAP< now I've got chunk of hardened steel down in hole!
I used better set of extractors on other stripped one and it came right out!
Gonna shove other in mill and grind off broken extractor and use better extractors to remove it.