My younger brother has a 2001 jimmy 4.3. It has 145k miles on it. He brought it over to use my garage to change his oil, and I noticed a pretty loud lifter tick. He said it has been doing it for about the last 10k. He has been using GTXHM 5-30. Would it be wise to use a 10-40 in the engine? Or maybe a 5w40 rotella to quite the noise down?