Mr. Carps's inventory is currently private.