In article ,
Andy Dingley wrote:
It also used to be common practice to use diesel as a flushing oil in a
petrol engine.

Diesel _oil_ (a detergent oil) surely, not DERV !

No - I mean DERV. Never tried it myself, though.

--
*If at first you do succeed, try not to look too astonished.

Dave Plowman London SW
To e-mail, change noise into sound.