General: When All The Paint Was Stripped From The Outer Walls Of The White House For The Very First Time In The 1980's, How Many Coats Of Paint Were Stripped