Circus Circus Tunica was not sold - it was just rebranded as Gold Strike. I don't remember for sure but I think they added the hotel when they did that.