Yea I looked around and that seemed to be the best way to fix bent pins. That would have worked perfectly if that one pin wasn't bent fully in half such that unbending it caused the tip to snap off.