An aside: any word on the redevelopment of the resort.