So, as a practical matter, the name has changed.
The staff and reservation system refer to "deluxe" differently than what owners purchased, and the Governing Documents specify.
However, the term remains in use, and means something else.
And, because this occurred as a result of a screw up, rather than it being intentional, it's ok?
I don't think so.
It may be a bit inconvenient for Starwood to get it right after screwing it up, but it does not require a systems overhaul.
Meanwhile, almost 2000 owners are potentially affected.
WE may know that "Deluxe" referred to the corner units, and now refer to the center units (even though the GD's say otherwise), but what of those who do not? Owners and renters alike.
Who is to explain to a renter that inquires to verify the location of the Deluxe unit they are renting, when given conflicting information?
There is no valid business reason to not fix this. I am not splitting hairs. If the term "Deluxe" were removed entirely when the system was switched, I would not be as concerned.