Fine. Since neither of us pretends to know the future, the best thing to do would be to wait and see how the share price unfolds for the next few months. I managed to take my profit today for a gain of a little over 1/3 since June 22. I will expect to buy back in later for a lower price than I received today, and although I know that may not happen, it's just part of the No More Tears school of investing, and there will be no tears shed if it doesn't.