If the gas prices don't stabilize and return to affordable levels, they're going to suffer anyway. A lot of that money people would be spending on travel (discretionary budget) will go to fuel purchases instead.

That becomes a problem we've seen before, though. Discretionary budgets dry up, and people stop spending on luxuries... yes, F9 would be affected, but so would a lot of small businesses and retailers. If it's a sustained period of high prices, those business start to suffer and go under, which then exacerbates the problem by increasing the unemployment rate and drying up discretionary spending even more. Hopefully this issue rectifies quickly and prices start to decline, but the latest reports I've seen have regular gas (nevermind avgas) > $5/gallon through the summer.