Diesel will last as long as you want it to. One of the old marine terms is fuel "polishing", which is simply pumping fuel out of the tank, filtering and separating the water, then returning the clean fuel to the tank. But to me, that half gallon would be good for parts cleaner.

__________________
daBenz - 1970 220D