A friend of mine runs an old diesel 80 series Landcruiser he bought about a month ago an we where wondering what oil to use. Any suggestions?