A recipe calls for 3.5 gallons of water. How many pints of water is this? (1 gallon = 4 quarts and 1 quart = 2 pints)