According to my calculations the price of a US gallon of gas/petrol here in Ireland is approximately $7.93 and has been around that for months now. The price isn't particularly high here by European standards.

Doesn't bother me.