Peter,

They mey have been talking the British Imperial gallon, in which case $7 per gallon is about right.

1 Imperial gal. = 1.2 U.S. gal.

I don't know about now, but a few years ago gas was quite a bit cheaper in Ireland due to the lower tax. Just about every car boarding the ferry at Dublin for the trip back to Britain had just left the nearest gas station with its tank filled to the brim!

Alan,
Welcome to ECN. Is diesel still way below gasoline prices in France? I think it was about half the price last time I was there.

Diesel is now more expensive than unleaded here. Local Tesco is 84.9p/liter unleaded, 88.9 for diesel. [Linked Image]