A rose by any other name, is but a....

Anyway, you are correct. It is interesting that the terms "casino" and "spa" and especially, the word "The" are NOT used. Their full name is, "The Orleans Hotel Casino Spa", but they struggle with consistent branding.