Putting my engine together, just pickup my new head. Measured piston potrusion so looks like I'm going to be opting for a .010 over head gasket. Question is what gasket are you supposed to use for a o-ringed 24v head. Pure diesel sells a modified marine 12v gasket to use with a oringed 24v head...