The world's largest public online betting company uses Red Hat to keep its customers engaged and happy..