I work for an employer with a fleet of 2003 Ford Explorers. The manual states to use 5W20 oil. I was shocked to see that 15W40 is used in them. They have bout 6,000 miles on them now. nono: No apparent problems, start with no noise, run smooth. What do you think?