hi. im using total excellium which is rated at 95 RON. would anyone know if converted to US RON what would it be? Im going to buy a tuner from the US and they need to know what RON(in US) i am using. thanks