Yeah, that would be the thing. But ive done a diggin around, and found that there are two different types of red diesel
There is Gasoil, which is a lower quality diesel with red colour added to it.
OR
There is RED DIESEL, which is actually White Diesel with a red colour added to it, and is chemically identicle to White diesel, apparently.