My advice is to HODL for a few years if you dont desperately need the money now.
I do confess that i sell some of my bitcoins but only when i need the money the most . i didnt sell for unimportant ocasions because that is useless.
I agree with both of you and I actually apply this as well.
Urgent necessity is the only thing which can make me withdraw money during bearish days, nothing other than that; and I think others should be too. We should only sell our coins with valid and justifiable reasons not only because we are threatened by price dips. But well, I don't even blame OP for solding his coins because I understand that maybe he can't handle the stress any longer or maybe he can't already afford to lose more.