Are these short trades even being recorded if he is the one selling the shares or does he just subtract and add to his borrowed shares and pocket the difference and nobody actually sees an accounting of transactions?