The choice hugely depends on you, if you want quick and nice profit without extra worries, I think it's better to sell that time when price hits your wished 10k but otherwise if that's the money you don't and won't have a need to use for a lot of times, then I would hold it. Personally I think it's like a gold rule: Bitcoin will reach it's all time high, it's just a task of time, wait. don't break and you'll achieve your goal.