I read somewhere that it was a 3mm pin punch to drive out the trigger pins.

Best,

JV