I think we agree with each other. They borrow more than this paltry amount every single day and nothing changes. Selling less than the daily borrow amount, exactly one time, is a rounding error at best.