Not a serious dumps, it could go up easily like the normal higher highs since the start of the year. If you just bought back you may sell again at 9800 and then buy at 9600. I don't know if my analysis is correct but I made a sell order on 9800. A few satoshis at every hop is now worth saving.
but you are risking not jumping back in on time just to scratch few satoshi
It happens countless times as long as it didn't yet touch the overbought level its still a good buy. I miss jumping back on time many times, there is no loss to that but miss chances. Many will do it being just a scalper with few $ capital. The dump today might easily bounce after all the hype is being hyped and the 2020 market is greener.