Were 1940s gas prices dependent on how much the dealer paid?