So... maybe I should dump my (very small) cache of ETH and invest in some EOS...

That's totally your decision and take note that the OP was not in any way at all giving any trading advice,and what you propose doing IMO is off-key and probably may not end pretty for you