Thanks Gadge, I've never heard of special-purpose roll pin punches. I'm inclined to wonder if they will work better than plain pin punches: I can see both advantages and disadvantages.