a gas station with a gas pump