The correct mixture of oil to gas in a weed eater is 1/2 pint of oil to 2 1/2 gallons of gas. how many pints of oil are needed for 10 gallons of gas?