I'm sure there is someone out there who can clear up definitively the ACTUAL differences between GAS OIL and DERV, other than HM Customs dyes. In my mind they are one and the same with regard to specification. Tractors and Marine engines also use high-tec fuelling technologies!
I do however appreciate your comments with regard to your client's motives.