You just read:

Red Rock Resorts Announces First Quarter 2020 Results

News provided by

Red Rock Resorts, Inc.

May 19, 2020, 16:01 ET