L'inventario di PISTOL è attualmente privato.