 OK, they, annoyingly, vary in mass. Some are six tonnes, some are shoebox. Let's take an average 800 kilograms. OK, so 9,000 satellites are 800 kilograms. That's about 7,000 tonnes. Plus the boxes. The boxes.