I still think he would be better off if he only long MGX without shorting GRR. His gain from MGX offset his lost from MGX depends on when his short on GRR (plus dividend). We should thank him for cheaper entry price.
GRR Price at posting:
26.5¢ Sentiment: None Disclosure: Held