These are boom times for the gambling industry – and not just online, as one might expect.