Red-dyed diesel: What is it, and can you use the tax-free fuel? | Blerbz