My guess is they would have went with that voice actor either way. They had four different female voices available (in addition to multiple male voices) - 2 for the api, and I believe 2 for ChatGPT (different api voices are still available, different ChatGPT ones aren’t). If Johanssen had said yes, it’s likely they would have added a fifth voice, not gotten rid of Sky.