Is the Gas Oil You Quote for the Same Thing as "Red Diesel", i.e. 35-Second Oil?