The manual suggested 87, but today the pump would only spurt out 94 and I was in a hurry so I had to get it.

I dunno, but the car felt a lot smoother. I've seen dynos that prove 87 is the best, but my ass dyno says otherwise.