A half dozen years on this site and with pm discussions with with those who you will learn to trust…
15/40 desiel rated oil is a great choice…
Takeaway is that less than 15 on the lower number is thin for these engines.
I would be interested to see what running pressure change if any you get by switching to 15/40.
Chuck