It is a reasonable thing for them to cash out. Of course, for long term investors, it is a different story.