Thanks for the pic. Reckon that tool is pretty much unobtainium?

I found this article from Park. They claim the red handled pin spanner is the tool to use, but the pins are too big for the Campagnolo extractor bolts. I suppose I'll try two brad punches and see where that gets me.

Edit: Found the tool and bought it.