I've had zero problems running with the 87 octane, maybe they could try reflashing the computer? Or maybe theres a bad sensor? In any case I wouldn't drive it to long before I new for sure that everything was ok.
I hope that they can figure this out for you.
