@PaulWermer @petergleick
I read that pdf (cannot find it now). At the time it was written, gasoline was aound us$1.50, and their broad estimate said the real cost would be between $5 and $15, depending on which/how you count subsidies/externalities.
So figure 3x ~ 10x what you see.