Diesel is about 4 US per gallon.