The IRS's inventory is currently private.