LOL .... are you aware that options bought in September were not registered in the buyer's accounts on August 1?
Excellent move by RRS .... no more litigation threats, no more conspiracy theories and they might still get the money from options conversion.