Thanks. With cars I have owned in the past I've only ever used the standard unleaded, on the basis that the super-unleaded was more costly. It never occurred to me to buy the more expensive stuff. If you are supposed to used super unleaded even without the remap, there is probably little point in going back to stock settings (concerns about the warranty aside).