Normal
I have a Gen 1 and got 85 from a Costco in Idaho a few times. I normally run 87 in the truck. From what I read, 85 will act like 87 in high altitudes. I never had an issue with my truck and it drove the same on either fuel.