This doesn't change your argument too much, but FYI jet fuel is currently around $1.60/gal.
https://www.iata.org/publications/economics/fuel-monitor/Pag...
https://www.iata.org/publications/economics/fuel-monitor/Pag...
I suspect at "airline" scale there is a large discount over the full service pump prices I'm seeing. This might change the percentages to 10% and 25%.
It's also possible I'm seeing the "putz price". That made up price that "no one really pays", unless you are that guy who doesn't know better and does.