Use a jewelry cutter/plier to cut off push pin tops if you are using the clear plastic-topped ones to make them shorter. If ...