You are welcome! Those push pins are the best deal going, so it's easy/cheap to replace one you might have screwed up lifting those suckers out. With the proper tool even.
Here's another handy push pin tool that works well. For the one I have, I modified the tool's head by grinding down the flanges, on either side of the opening, leading down to the shank just a bit. It reconfigured the overall shape of the head. For me, I found the tool works better that way getting under those pesky pins.