Pete, that is still under half what I pay and have paid for the last 6 months at the pump. Yesterdays price was US$7.62 for a gallon here in the oil nation Norway..
(assuming one gallon equals 3.71 liters and with exchange rates from yahoo. When _will_ you stop using those imperial units btw.)