I was inside the shop talkin to Igor.
And yes, you’re right, the oil drips for a few days, best to wait 2-3 days for the dripping to stop then power wash your car.