I'm pulling the head off my 1.8 84' GTI in a couple weeks,and going to have it shaved before reinstalling. I see that .025 is the max for shaving,and don't want to go over the .5 max for compresion ratio and wreck the head for racing purposes.How much does the .025 bring it up?