Are gambing sites like Full Tilt or Poker Stars paranoid about bot poker players? Like HFT quant bots?

Are gambing sites like Full Tilt or Poker Stars paranoid about bot poker players? Like HFT quant bots?