Well you know, there is always a remote place in Norway ...... take a deep breath :

På Joker på Lovund koster 95 oktan hele 15,34 kroner per liter. (norwegian language alert, both links)

From within this article you can spot this ..... 15, 34 kr/ liter ( $1 US = 5 kr) = $ 3.07 /liter

1 US gallon = $ 3.07 / liter * 3.78541178 liter/ gallon = $ 11.62 gallon

This link claims that a gallon is at US $ 12.60 .... (and rising).... but there may be an error to that number the story tells.

*** EDIT : So nobody seemed to be able to interrelate to my Sci-Fi- numbers :-)

FWIW, Google has a great built-in calculator that can handle currency conversion as well. Here's an example.