Confusing for me too.

We do have the example of the Desert Inn changing to MGM Desert Inn then back to Desert Inn again, due to ownership changes.
Not exactly the same, but shows that casino history is sometimes "fluid".