I know this information is somewhere but I can't locate it. For the quick strap removal by pushing the button then pushing out the bar, what size is the end of that plastic Panerai tool? I want to get something plastic to use as a tool, short of finding a Pam tool, or possibly a Pam tool if necessary. What are you guys using?