I have an HD Homerun (the Prime one for QAM cable in the US, not the ATSC, but same in principle) and have been very happy with it. My sense is that given the limited number of USB ports (and power) on a Pi (or even a Vero4K) that you’re going to be better off with the tuner as a separate device rather than plugged directing into the OSMC box. Especially since you’re probably going to need an external drive on which to hold the recordings.