That last photo brings back a lot of memories to an old pump jockey. I pumped a lot of Texaco gas at 19.9¢/gallon at my Dad's service station from the time I was old enough to squeeze the pump handle until I left for college. The normal price was around 29.9¢, but there was always a gas war. He made money on service because there sure was no profit in selling gas.