I understand your reasoning I don’t think you will need to prime but when you do want to start it just remove the rotor arm and turn the engine over a few times to be safe. Gulf 20 50 is a mineral oil that these older engines operate best with although I have no personal experience of using it.
