I haven't seen 80/87 in years and would be surprised if that's accurate. More likely, they are burning 87 octane auto gas, which is perfectly legal if you have the STC.