Got the TS4K and playing with it. I did the soft disable of Tivo stuff and its working pretty well. Its a little quicker than the native Sony Android TV, but not blazing faster. I was getting some sluggish response on the Sony, but not so much here. The Live key is working sometimes, and sometimes ends up on a Tivo stream for a second before Channels overrides it. I'm sure if I uninstall that stuff it will help that.
One thing... Is there not a key mapped to last channel on the TS4K? I had that working on the Sony remote automatically.