oil pump selection

Haven't used a HV pump in decades. Never an issue.