Hi All, About to service my 2017 Laramie Ecodiesel at 30000 miles after being quoted $1200 by dealer in Morehead City NC. I'm trying to decide which oil brand. I understand the need to meet API specs and 5w40 viscosity grade. I see mention of several oils e.g. Shell Rotella T6 but never see Pennzoil platinum mentioned. This is the oil the dealer used in previous services in NC and NYS. Anyone have any thoughts ? Thanks