Twas I. I saw three different news reports on TV using the number 7000. They must have heard 7 missing and screwed up the numbers. Apologies to all. Couldn't figure out why there was not more coverage - now I know.