Для авторизации хаспа нужно всего 20-30 пакетов.
Да, служба аладдиновская кривая, и лики бывают, и загрузка цп бывает взлетает.
Но 20-30 пакетов - это миллисекунды, 1000 человек не могут ломиться одновременно при всем желании.
А вот 20 мегабайт на инсталляцию - это на 100 мб 3 - секунды, да плюс данные.
Даже на гигабите заметно.
Загрузку сети в пиковые моменты надо смотреть.
Не факт, что дополнительные хасп сервера помогут.
1000 пользователей x 0.3 сек = 300 секунд 100% загрузки сети только на загрузку бинарника на гигабите.
На 100 мбит утром сеть на загрузке бинарника будет торчать ушами кверху целый час.
Вот и думайте, есть у вас проблемы или нету.

P.S.
Братья пилоты горько по вам плачут - как бы они хотели вас на 8.0 перевести - это ж деньги какие

И какие сервера вам понадобились бы для управляемого приложения.