For anyone in the market for a remote, I have one of these[1] and it's pretty awesome. I'll have to check out the Lenovo as well.

[1] https://www.amazon.com/gp/product/B07WJGSXT8