re: options Will the options that are exercised hold the price down for a while as people take profits?