Been there. A whole gallon. No matter how many times I cleaned and rinsed,
it wasn't enough. When the car sat out in the sun, the smell was there.
Just ventilate for a week.