When you decide to invest, you have to be risk-takers and long-term investors to make big profits. If you withdraw money now, you will regret it in the near future. The market is heating up. I advise you to wait patiently and continue to keep your money.
Yeah, I agree. Now is probably not the best time to cash out. I'd say wait until it reaches at least 20k or higher and then you can start thinking about it.
Usually, if one has already taken large losses in the past, the next best solution would be to try and wait until that agony will be paid off. That's only if the person thinks there's a possibility for that.