I used to drain old gas into buckets and pour it into my underground storage tanks (when I sold gas). 20-30 gallons mixed with 10,000 and the problem is solved.