That was also our procedure for prepping the pumps. Make sure you debur the gears on the face where they mesh into each other as well as the top and bottom side where they meet the pump body and the pump cover plate. Once you disassemble yours, you will see evidence of scarring on the gear plate where the teeth were not deburred originally from the factory, and over time this can become a problem. You can also sand the cover plate in a figure 8 pattern to remove any scratches that may be in it. I've seen the end play on many pumps regardless of brand name be .008" to .010", so don't be shocked if yours is in that range.
