Hello - Just wondering if anyone can provide some updated information on the status of the MGM renos? A few questions our group has: 1 - Is Sigma Derby still operating? 2 - What restaurants are impacted? 3 - Is there a scheduled date for the lions to return or are they permanently gone? Thanks!