My GMC Sierra has over 200k miles on it and I’ve been using 5w-30 synthetic oil as I always has and recently I’ve noticed a very small leak in my oil. Would it be smarter to start using 10w-30 or 10w-40 because my trucks many miles or just stay with what I’ve been doing?