Sharplink buys 5,000 ETH for $7.85M after 8-month pause