I was getting fuel today and there was a sticker on the pump that said contains 10% ethenol. It was one of the pumps that has gas on one side and diesel on the other side. Are they talking about the gas or can/are they putting ethenol in diesel also?