The value of Red Hat