No, it started to feel that it would go up, even 800 possibly. I have lots of coin to sell if it reaches 750-800 level. Remembering that the long term trend is only about 450, it is quite easy money to sell now provided that you have the balls to wait for the buyback which you cannot guarantee when it will happen (AND of course there is a 10-20% chance that it will never happen).
And that 10-20% (which I estimate more conservatively) is THE reason why selling is bad. The upside is so much more attractive than the relatively small gain of trading in and out.