tool for installing pin in PCB extractors?