I pulled a bit out too some hours ago. When BTC was at $4,950 and many people were looking for it to "break past $5,000". But I got nervous.
Didn't buy Tether although I had planned to. Instead, had sent it back to another exchange and sold for fiat (Ringgit). Yeah, the associated costs. Including the 0.001 fee at Bittrex. And I might have to buy BTC again in the near future, and possibly at a higher price. But doing that does help with some peace of mind.
Well done. Sounds like you made a wise move to me. Certainly the market is showing some red at the moment and a pullback was due.
If you've got good experience in the stockmarket you are head and shoulders ahead of a lot of the people investing in crypto at the moment. There are a lot of people trying to trade who know little about the technology nor how markets behave.