What oil pump to use.

No reason to use anything but a stock pump.

My oval track 7,000 rpm motors ran stock pumps
(with oiling mods) without issues.