I have really enjoyed my vero 4k. they came out with a new version (vero v), which I haven't used, but now has av1 support. my older model, the 4k+ version, has done everything great, with the exception of handling IR, which it did a mediocre job of managing. Linux irrecord is ass, but the vero software mitigates it by having a premade library of common remotes.
Their user forums are actually really great, their software support is also pretty good. I had help from both with setting my box up to match my TV feature set.
The vero V looks to be over budget for you, but if you end up deciding you need to spend money to get a solid product, i definitely recommend this one.