They have filed actual plans with the FCC for their satellite constellation. They are not talking about lunar data centers.