Hey Gregory. If 711 matches an ARS Digits Dialed pattern it will take that route when the calling pattern matches. I would add whatever prefix you use for outgoing calls, especially if 711x matches, or comes close to matching an internal extension. For instance if users have to hit 9 for an outside call, use 9+711.
You could set up shortcut keys for users that frequently dial it but at that point it's just adding the key to dial 9711 to their phones.
One of mine looks like this:
Digits Dialed = 9711 (This deployment requires "9" for an outside line and has extensions that start with 7)
Number of Digits to Follow = 0
Termination Type = Route (this will vary based on your set up)
Termination Number = 2 (this will vary based on your set up)
On the surface I don't see any reason why Termination type and number couldn't match what you do for regular calls since callers are getting the operator and not a TTY device.