My car is in the shop now and the head gasket was ok but there was a warpage in the heads. The engine has been bored out .20 over so please let me know what kinda metal head gasket do i need to buy.I want to boost at 15 psi. I got the head studs already.let me know as soon as possible please.