I think he's just saying that it didn't show up on the receipt and he didn't write it down.
Mike,
I remember using the following site once upon a time. I'm not sure what features it has, but perhaps you can track down your station and price?
http://www.gaspricewatch.com/usgas_index.asp