If the manual states 87 is acceptable (not preferred), and the car is under warranty, fill it up with 87, and beat the snot out of it while under warranty. If it holds up, you are good. If not, you will know for sure and it will be fixed under warranty. Lol