Fortunately, it wasn't bad timing for me, because I'm used to RGC being at crazy high prices (I think it is worth about 2-3 dollars/share).

I had already closed my short out at 11.30 a few weeks back, and I re-opened it at 12.70. Good luck to all :)