I paid the equivalent of $12.50 a gallon for diesel at the peak price a month or so ago.