What is the recommendation for any sealant on a BF100 (10hp) head gasket and any lubrication on the head bolt threads? Thank you