A good gas mix is about 12.5 to 1 with air. What would be a good mix of e.85 and air?