That sounds about right to me. Some places will sell 93 AKI/100 RON in the US, but it's not as common, and the only cars that actually require it are probably modified turbocharged cars. Most US commuter cars run perfectly fine on 87 AKI and it's significantly cheaper. I live in Washington so for some reason they sell 92 AKI gasoline, which is an oddball number I don't see anywhere else.