.007 is fine if you're setting up a new gear set. If he's reusing the old gear set, he needs to measure backlash
-before- anything is disturbed or disassembled. When he reassembles and sets backlash and bearing preload, he needs to set the backlash to what he measured originally.