Sektördeki otelciler de, potansiyel müşteriler de "hala" otel ismini kullanıyor. @hsaat06; arkadaşın önermesi o yüzden çok mantıklı.