Was reading the post on why military brass has crimped primers. There have many over the years. What I haven't seen discussed is how the heck do they do that. If it is done after the primer is inserted in the pocket it seems like it would be a little tricky to crimp it without possibly setting off the primer. Anybody know how it is actually done? Does anyone sell equipment to do it? (no, I'm not looking to do it myself)