Machine shop just called... they had to take off .008. Is this safe or too much? Using grade c gaskets. Thanks, Drew