Polishing is even more of a nebulous process, so I'm betting the actual finish is 5000, like it gets boxed up and leaves at 5000. Otherwise I don't see much point in making note of it. If they took it to 5000 then polished it, you would again end up with inconsistent finishes, or at least just as consistent as usual.
I'm curious about the efficiency of the process. This is an extra step that could, and most likely frequently cause more steps. Their marking graphics already do cause an extra step, and now with stopping to check exact surface, if it's not right, it gets adjusted again. Or maybe they can check it as it's getting surfaced . .