No.. the 2012 sliverado is flex fuel. anything from E0 to E85 can be ran though it. He should not have seen such a loss in MPG but I wonder if it had anything to do with elevation or stop and go traffic or perhaps a pump that stopped a few gallons short of “full”
I’d have to ask if this was a vehicle with an onboard fuel economy display.