IVR - Dial Users Extension

I don't see anywhere in the IVR setting to allow someone to directly dial a users extension if known. For example, assign key "#" or one of the numbers and then dial the users extension.   So the IVR Greeting would be recorded to say:  "If you know the party's extension you would like to reach press # and the 3 digit extension".   Or "If you know the party's extension you would like to reach press 9 and the 3 digit extension"