Welk octaangehalte moet worden gebruikt voor een Hyundai Tiburon met 4 versnellingen uit 2007?

Volgens de gebruikershandleiding van de Hyundai Tiburon uit 2007 is het aanbevolen brandstoftype loodvrije benzine met een octaangetal van 87 of hoger.