Paul Allen's inventory is currently private.