All of those. Gaming has been steadily growing for a long time now and has reached a "major player" status, so the timing is good. They're obviously a very skilled group of people. And finally, great achievements require some luck.