My new pump is installed. I used 10W40 oil.

So far, so good. No longer getting a blinking oil warning light, but I will
not feel completely confident about the repair until I have driven it for a
couple of weeks. Here is how my oil pressure gage read, warm engine,
transmission in neutral, various RPMs:

Idle, 950 RPM, 0.9 Bar
1000 RPM, 1.0 Bar
1500 RPM, 1.1 Bar
2000 RPM, 1.5 Bar
2500 RPM, 1.9 Bar
3000 RPM, 2.2 Bar
3500 RPM, 2.4 Bar
4000 RPM, 2.5 Bar

Engine cold, 2000 RPM, Bar > 4