Just moved from FL to UT, have a 10,350 mile 2018 5.0 G80. Just had my oil changed @ Dealership. Invoice states 9qts 0W20. Is that correct I believe 8.5 qts of 10W30 Am I missing something? I utilized Valet Service and have not contacted Dealership yet!