On Tue, 22 Nov 2005 10:18:14 +0000 (GMT), "Dave Plowman (News)"
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 !