air traffic controller's inventory is currently private.