It is set exactly how the service manual says. Oh that's right you don't have the service manual otherwise you wouldn't be here. Go spend the $30 you cheapskate. You saved 10 times that doing the head gasket yourself. On the other hand if you were to cheap to buy the manual you probably screwed up the head gasket and it will now cost twice as much than if you took it to a shop in the first place.