"Of course, it would be even better if gasoline were $6 per gallon which, of course, it is in The Netherlands, Norway and other parts of Europe." . . . . .