Mike bought 3 gallons of orange juice to make fruit punch for a party. He used 9 quarts of the orange juice. How many quarts of orange juice were left? (1 gallon = 4 quarts)