Ya this doesn't add up. Every case I've seen of mixing diesel with gasoline has been a total disaster. There was a case recently where the nitwit at a local gas station filled up the 91 octane tank with diesel fuel. About a dozen cars unknowingly filled up with diesel, drove about a mile and broke down. Eventually the tow truck driver that was picking up all these cars off the side of the road put 2 and 2 together and called the gas station to turn off that pump.