Water in the gas tank: what to do