Can anyone tell me the proper name for the tool in the picture? We use it to 'pop' hose clamps. Also, where to buy one of these?