It could be also as simple as him pumping the gas, spilling it over the side of the car, and then him touching the inside with gasoline stained fingers. That could also cause the gas smell.
Im sure the dealer wouldve helped him out. If not, take it to another dealer. Also, this could just be...