While topping off the diesel tank prior to winter storage, I noticed a label on the pump stating the diesel was treated with a biocide and a stabilizer. The college kids manning the gas dock knew nothing other than what was written on the label.Does anyone know whether diesel fuel is so treated by the supplier? Even if the original supplier (the one who may have placed the label on the pump) treats the diesel, what assurance do I have that the same supplier will always be used?