Was there a separate option for some sort of "fuel saver"/"Mileage XS" tune? If so, then I think it's safe to assume that the plain "87" tune is tuned for performance.