People who've received info from the DOJ about the amounts they lost say the figures are entirely accurate. So I imagine the authorities have very complete trading records.