My approach is similar, but I don't round them off totally. I simply grind a chamfer on the ends of the pins so that they'll find the hole without chipping oout, but leave a flat spot on the end of the pins. I remove the pins frequently, as I remove the barrel for cleaning, so I need something that the pin punch is not going to slip off. On pins that have an escutcheon, I drill a tiny divot into the end of the pin so a pointed vent pick can be used to push out the pin. I make them short of the surface, and rub the holes over with bees wax.