How much oil?

How much oil? As of May 9, an estimated 3.5 million gallons of oil ha spilled into the Gulf of Mexico since the April 20…