Yeap, take the cover off the oil pump, one of the gears will drop out, then pack it with vasaline and push the gear back in, there's no such thing as using too much here. Belt and braces, take the dizzy out and spin the oil pump drive with an old screwdriver in a cordless drill (not too fast) to build up oil pressure to the galeries before starting and/or turn it over with the plugs removed 'till the oil light goes out.