What do you call the tool that removes "push pins". (I call them christmas trees) They're usually used to attach sensor leads to framerails and such. Not the two piece ones. Guy at work got one and it works awesome. Looks like a fork, but has some funky bends in it. Thanks in advance.