Когда мы были в отеле, то делали отметку на топхотелс "я еду в отель" и тогда по приезду выдавали красный браслет.

Добрый день. Браслеты даются разные, опираясь на категорию номера. Для туристов с красными браслетами - один ресторан, с черными - другой.
С уважением, специалист службы "Помощник TopHotels"