On Sun, 11 Feb 2018 22:26:31 -0000 (UTC), Bill
wrote:


Got the last couple gallons out. Mostly water.

It might be worth sacrificing a few gallons of fresh gas to dilute and
flush out any remaining water. Suck that out and recycle it too.
It's a shame you can't find something to do with that gas.