Curious what experience others have had with doing this. Manual says 87 can be used, but to expect a bit less performance. Price difference between 87 and 93 octane here in NC is substantial - on the order of 60-80 cents per gallon more depending on the gas station. For just basic daily driving and such, I don't think the power gain from 93 is really needed. Has anyone else done any comparisons?