So, back to what to put in, 20W-50 GTX engine oil works just fine. As it did for 12 years when I used it previously :) Yes other oils may work, but bang for buck hard to go past this:):)
If anyone here has worked on mini's with common sump engine/gearbox, that also runs engine oil...

