I swear I remember on that day, they said they were going to "pull" WTC 7 because there was a fire in the basement. Did not think anything specific about it at the time, but "pull" is a term used in demolition, and building demolition takes a long time to plan. Could not have magically done it on that day, in that chaos, etc.