That lawsuit was still pending in 2023. In October 2021, a limited liability company called Riverstone Resort (“Riverstone”) filed for Chapter 11 bankruptcy (later converted to Chapter 7).