Red Hat's inventory is currently private.