ESET Smart Security 4.2.40.10 не обновляется. Что там делать с серверами?

После чистки компа и установки программистом на него всех необходимых программ, в т.ч. и антивирусника, никакими ключами антивирусник не обновляется, вычитала что-то про прокси-сервера.Зашла в настройки, там пусто, т.е. никакого прокси-сервера не указано, порылась по интернету, попробовала разные сервера обновлений, ничего не получилось, то сервер не найден, то ошибка подключения к серверу.Что делать, какие "буковки" и куда вводить, подскажите "чайнику"?А то я так и спать совсем перестану)))