[rdtsc]

But there are no options involved here. Short selling is a separate strategy that doesn't involve options at all (as far as I understand).

Your point still stands and in respect to broker(s), I wonder if they:

* knew, but could ignore it, because it is legal and they wanted to collect the fees

* didn't know

* knew, and should have done something, but didn't, and thus broke some law.