If it was near Woodland Park/Divide it was probably 88 ethanol free. That’s what I have seen around here. Seems like they went away from offering 91 e-free a couple of years ago.
I’ll be interested to hear your thoughts after the install. My chrome is trashed from mag chloride staining and I am trying to decide to wrap, cover or paint the chrome bits.