We currently use duo push/mobile to protect rdp.  We want to add duo tokens (already purchased) to these users.  I've assigned the token to a user.  I've gone into the registry and edited the setting to not default to duo push.When I attempt to rdp, ...