I'll 2nd GPE, here's the section for 0.156 edge connector pins and housings. You may want to purchase a pin extractor while you're at it, unless you plan on replacing housings too. When i re-did my edge connectors i went with new housings because it made it a lot easier than fussing with removing each pin from the housings in order to re-use them.