Do the brokers know when a Buy is a Buy-to-Cover? If not, the short totals would be known only by the brokerages...