 The 80-acre resort, it's going to be renamed the Hard Rock Hotel and Casino and Guitar Hotel in Vegas. It's scheduled to open, I think, in 2027. On the downside, though, over 3,000 employees now do not have a job. And Nevada has some challenges to begin with. I know we're being heard out there right now at AMK with 670 KMZQ.