They should be querying the companies that own the bots. After all thats the market maker right there isn't it? You know, price discovery, liquidity an all....?