I personally sold some coins between $30-40k to reinvest in real-estate. I could have held them longer for more fiat gains, but I had a strategy set up a long time ago and I held on to it. No regrets.
Right now I have no need for more fiat, so I have no further plans to sell anything.
Holy shit, that's still a lot of coins. Congratulations to you. I also have no way near as many coins as I did when I bought my first bitcoins at $10. I still consider myself very lucky and fortunate, finding out about bitcoin as early as I did.