I forgot to state that my per gallon gas prices are for regular
unleaded [87], not the higher [89 or 92] types.