How many Gallons of paint needed to paint the U.S White House?

I work for Sherwin Williams paints and from what I understand it is our paints that paint The White House. The paint is a special mix. Everyone who comes in contact with the paint has to go through a background check.