They probably have an OpenAI subscription, same for OpenAI SWE, they have a Claude Code subscription
Likewise while at Google, they didn't let us put Google Voice numbers down as our oncall phone number. Some folks even had multiple phones on different networks as backups.
I'm sure they have either other SOTA models or open source models around to help if things to completely pear shaped.