The user can use ADUC to connect to a domain controller once connected to the corporate network via VPN. User can also connect to the SYSVOL share on the domain controllers using domain credentials when prompted.
It seems to be just the ADAC that won't allow manual selection of a DC (seems it will only use what's specified in the LOGONSERVER environment variable).