As long as most of it is out it will be OK. Diesel seems to be way more volatile these days, possibly the ethanol or biodiesel content. Either way, it isn't like the waxy stuff of old. Petrol or acetone definitely better though, especially for the final rinse.