I agree that’s probably the way forward. A quick search came across this article, where the author was getting around 300 Mbps on a Pi 3. I’d expect the Vero4K to equal or (probably) slightly exceed that figure.
I don’t have any personal experience of either device but both models seem to use the RTL8153 chipset, which is supported on OSMC, according to this post.