I picked up these KD 874 pliers the other day, but can't find any info about what they are for. Anybody know?