Update: you can import contacts. I recommend that you do it in multiple batches in case there is a failure (to avoid duplicates). Take the 9,000 users and do csv files in 1k increments.
Article here: Wix Contacts: Importing Your Contacts into Your Contact List | Help Center | Wix.com