Mike Kirby does not run a HV oil pump on his 10,000 rpm dragster engines. Just a regular one.
He states the same as I do, do not use a HV oil pump.
A regular volume oil pump is good enough.
I have worn out three distributer drives on the camshafts.
Had to replace them all,& 3 bronze distributer gears all because of a HV oil pump.
I later installed a standard volume oil pump, & the problem went away.
MBHD