Hi, just got my Euro E88 head back from the machine shop. They shaved off 0.73mm (28.74 thou). Shims come in 0.38mm (15 thou on thezstore) so my question is - is it sufficient to shim by only 0.38mm or should I slightly over-shim to 0.76mm? Is 0.03mm over going to cause excessive component wear...