If they are trading any stocks at all, they will be using essentially the same systems as HF traders. Any big broker-dealer ('big' in terms of quantity of order

If they are trading any stocks at all, they will be using essentially the same systems as HF traders. Any big broker-dealer ('big' in terms of quantity of orders processed) will be a high frequency trader by definition, because they aggregate large quantities of customer order flow, process it rapidly, and send the orders out in rapid succession.