Out here the highest pump gas is 91 and its about the same as 89 anywhere else according to the government tests a few months ago.
His street tune is VERY safe and conservative, if we pushed it to the edge he would make around 510 or so. But since he runs race gas at the track there isn't any reason to push the street tune that hard.