Yes, and for those who wonder what SOR is (like me): https://en.wikipedia.org/wiki/Smart_order_routing
Oh, and DMA stands for this
I'm using the IB SMART router. Seems to work better than my own algorithm that picks routes. No, I am not using their "free" trades. All my orders get onto an order book.