I had a little problem with my Champion ported head from a blown headgasket so I sent them to a shop and had them cleaned, magnafluxed and cleaned up. When I picked them up he told me they had to mill .010 off to flatten em out for cometics. He said that it should not make a difference as far as pushrod and anything else. Am I going to be ok with these heads? I have roller T&D rockers and roller cam.