I don't know the companies' revenues, but I know they're completely different businesses; both have their advantages and disadvantages. Of course, casinos are booming right now, even with greater visibility, but that doesn't mean they're better.