Ethereum tumbles 7% proper after new all-time highs: Are ETH bulls in bother?