Actually, multiple washings will get the smell out.
While I was in college, I managed to get a good diesel bath while refueling a bus after a training run. Give them a good hand washing and line dry before you think about putting them in the machine. I think I had most of the smell out within two machine washings.