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)