Sell Antminers or not?

Good day! I have 4 Antminers 104 ths. Not sure whether to sell or not? The math is following: I bought them for 1500$ each last June. Now they cost 500$ on the market. Today I've got my mining check: cost of mining: 270$, mined BTC: 340$. The pros of keeping miners: getting 70$ of net income; maybe price will pump back in bullrun to 1300$. The pros of selling: getting 2000$ ready to invest in BTC in case it pumps anytime soon, mitigating risks of Antminers losing their cost even more