That can't be anything but a big plus IMO. I wonder if MGM Resorts International is still trying to dump its stake in the MGM Grand Detroit?