I am using an generic Google TV Android box and it does not auto tune to last channel watched. It is actually worse than that. If I am watching channel cuz and want to change to another channel it almost always reverts to the basic 2 digit channels ...
