hi , any body know how long a new de capping pin should be. been given some dies and im sure the pin is broken. im after the 0.071 dia pin.