</font><font color="blue" class="small">( I wouldn't worry about it - just drain most of the tank and re-fill it with fresh fuel. I wouldn't bother with changing filters or anything either - after all, diesels pretty much run on anything. )</font>
That's what I'd do.
That's what I'd do.