ok so machine shop said something like 20,000thousand was taken of the block after much figuring out I belive I need .5 more mm for my metal head gasket over stock. Stock is 1.3 mm so i guess i need a 1.8MM gasket correct? larger the gasket that raises or does it lower compression? is it ok if I raise the compression A little bit(the car will only be seing stock boost and thats is ALL)?