As an aside, I was refuelling with diesel the other day and the dispenser nozzle trigger was leaking and I got diesel fuel on my hands, I was quite surprised that compared to the last time I had a close encounter with diesel there was hardly any odour to it. How things have changed.