Red Rock Resorts: Q3 Earnings Snapshot