[s1artibartfast]

It is just the tip of the iceberg. They have FCC approval and plans for nearly 12,000 (as of 2019), and are considering a possible later extension to 42,000.