I forget the exact wording, but the manual also says that you should not run the 85 octane sold at higher altitudes. I run the 87.

 

I really dont see what is so wrong in calling it Regular Unleaded. I have seen it listed that way on many gas stations recently (although many were older). Many older people still call it regular unleaded ans are correct in doing so. Come on, Give the guy a break.