Mr. Dias's inventory is currently private.