My understanding is they can just counterfeit shares so there is no need to short the ones in your account. AlanC can elaborate.