diesel turbo car specs synthetic 5-40 but has 140000 miles on it. would you stick with 5-40 or go for a thicker grade 10-40 or 15-40 because of the high mileage?