Caesars Entertainment (CZR) took that property off the market in 2023, and it has not been officially for sale since then.