Any happen to have a head gasket available? Model 700340d, I am told it is the same as the 7.5 hp but I would need a real answer on that.