What is the factory size of pulley on this car? How much boost stock? What is the thickness of a factory head gasket? Anyone know of a thicker one?