Bog std pinto pump, from randalls, same ones they use on their race pintos, they inspect/take apart every pump and reject as much as 50%, so you know the one you get is good, £24 of your wedge will get you one, the one that came out was a "burman" which is oe fitment, was scored badly.
Oil pressure is 35 psi@80C on 10W40 oil, 950rpm, 60 psi@80C above 2000rpm, just on mineral 10W40 for first 500 miles.
tabetha