TIO DA TECO's inventory is currently private.