I'm making an assumption that that is not the case, based on his comment about not being able to get the primer pockets clean. That means that the pockets are already deeper than what the pocket cleaning tool can reach.
Now yes, if he isn't getting his primers fully seated, then I concur. My point being is that the bullet jump from the ogive to lands is very consistent, which is what matters. In that regard, COAL doesn't matter, unless the rounds are magazine fed And he's running out of room.
I shoot a lot of 168 grain Match Kings and the tips are really ratty. Off the top of my head, I seem to recall bullet length variations of as much as 0.020". I used to clean them up with a pointing tool, but found that it didn't make any difference accuracy wise.
And, the age old question seems like it has yet to be asked;
How do they shoot ?