Thank you, that was the number I was remembering as well, but it seemed so crazy low I didn't want to repeat it. Even a dysfunctional U.S. Congress should be able to cough up that much money.