Ah sorry, actually read it now:
Sudo supports running a command with a user-specified user name or user ID, if permitted by the sudoers policy. For example, the following sudoers entry allow the id command to be run as any user because it includes the ALL keyword in the Runas specifier.
alice myhost = (ALL) /usr/bin/id
So actually, this is by default not set in Workstation of course. 
So this does not apply. 