Pump Gas

pump gas is whatever they sell at the local gas station

if they sell 110, then 110 is pump gas

if you're an engine builder, i expect your "pump gas" engine to run well on 91
Now that's a whole different topic, but I agree with you on that point.