What sealant is supposed to be used for the crankcase halves? The factory manual that I have only says "gasket maker". thanks