I thought AV gas and such had octane ratings higher than 100?