Those are the ones I use as well. They are good sized pliers with powerful jaws, so they make quick work of cutting through the pins, no matter the material.
I'm glad that you are pleased with the performance of those modified $4 HF cutters. However 100% of the credit goes to Glen (gssisgun) as it was through him that I found out about the cutters.
Let's give credit where credit is due then. Thank You Glen for bringing this forward! Sorry I didn't pick up on this at the beginning. Another problem of "How do I do this" has been solved for me!