“Starlink currently has between 10 and 12 million subscribers.”