SEC allows them to take trades up to 20 seconds after bell to finish business. But they usually don't do it.