You're probably right and I see you'd sell them if you held them. But they're not worth much now and putting the minimal gain of selling ( are they trading? haven't looked) against the possible gain should things turn out, I'll be the mug and hold.
GMC Price at posting:
1.0¢ Sentiment: Hold Disclosure: Held