taking profits is fine. however, I really think that OIS is at least a 40 dollar stock. This company has grown its earnings at 29% per year since its IPO, and it is currently only trading at aroudn 12x (as we head into a big upswing in the oil patch). In fact, I think OIS could hit the 50's if the upswing is sustained.
It will take weeks for the after effects to be known. Speculation and uncertainty will keep the sector rising until the truth is known. That said, the truth may be bad enough that things will rise again. I think $80 oil is in the immediate future. With hurricane season just beginning and winter approaching this will be over $40 by Dec.