 We've got the top performing casino in town. Let's open up an even more upscale version of it with ourselves less than a decade later. So I think that was a big part of it. And as you had the MGM years, Bellagio, then Aria, MGM Grand itself, there might have been a little bit less focus on Mirage.