I'm fairly certain that should have been "4,000 tons.
Good evening, DuncanWaring...I suspect you are right, that it should be tons rather than pounds. I guess the New York Times, October 3, 2008, article by Dennis Hevesi missed it.
I checked to make sure we didn’t mis-write it in case we needed to fix it. Thanks for catching it.