Какой сервер мониторинга указывать в маяке?

Здравствуйте.

Всегда в качестве сервера мониторинга указывался сервер dev.starline.ru. В последних редакциях инструкций для всех маяков - так же указано dev.starline.ru. Но в последнее время, представители СтарЛайн на форуме в рекомендациях пользователям пишут gatem15.starline.ru. А в приложении, в рекомендациях почему нет связи с маяком, вообще написано gatem17.starline.ru.

1. Так какой сервер мониторинге указывать в маяке?

2. И есть ли какие-нибудь различия в этих трех серверах?