Kim Jong-David's inventory is currently private.