Yeah, the difference between the two fuel types that pumps advertise is tiny. Only three years ago we hit a low of .95 eur diesel / 1.50 eur gas; just this afternoon it was 1.31 versus 1.61!