Mr. Allen's inventory is currently private.