How do I wash a jacket that I dripped gasoline on?

I bought a polyester and nylon quilted polyester-filled winter jacket with a hood a couple of years ago. (It's the standard kind of long jacket that most women wear in the cold winters.) When I was at the gas station filling up the tank, I got a drop or two of gasoline on the sleeve. I didn't know what to do about washing it, and I didn't want to mess up my washing machine, so I just let the jacket hang for a while. Two years later, I still haven't washed it, it doesn't smell so bad, and I want to wear it. What do I do? Do I soak the sleeve in something first to get the gasoline out? Or do I just throw the whole thing in the wash? I really think I should treat the one sleeve first, but I don't know how to do it without possibly fading it. Any ideas?