Well, the key here is that the pattern is good. That's the most important part. You are talking about 5 thousands of an inch. That's not a lot, but you have to take in account for heat expansion and you don't want to have them rub and make shavings. If you must, do like ARB says and grind a little off the face of the pinnion. It's not going to hurt so long as you don't leave a sharp edge or get it too hot.