Anyone have any figures on the amount of money scimmed from the Australian market per annum by high frequency trading??