Unofficially, but they are going through the motions to make it official. The county has passed resolutions supporting it but I'm not sure if they've actually started the process of formally incorporating it.
Curious if it ends up being patterned on Reedy Creek, Florida.
Is that where their launch facility is (Boca Chica, iirc)?