Hi, just wondering if Weaknees has any first-hand experience dealing with LUX remotes used with TiVo devices running TE3 (OS vers. 20.*), especially A95...