I just totalled it up, and that's the bar minimum.
BTW - My F150 gets 15mpg now that I've switched to a 92 octane.
It got 10mpg using 87 octane. I wouldn't have thought a 6% difference in octane would make a 50% difference in MPGs.