Just a thought but if he still has some unloaded bullets from the same box he loaded he may want to take a look at them. A few years ago I purchased some new sealed box of 22 caliber bullets made by a major manufacturer, as I was loading rounds I picked up a bullet that for some reason didn't feel right, I took a look at it and it was a 6mm bullet rather than .224. I looked through the rest of the box and found 2 more 6 mm,s mixed in the box.
That was a one time experience over a lot of years of reloading but things like that do happen.
drover
