Mini use of Roamio tuner

From what I can tell, the Mini is supposed to release the Roamio tuner after 90 minutes of "inactivity." Can someone tell me what "inactivity" means? Does the mini actually sense via HDMI that the TV is shut off and release the tuner 90 minutes later? If that is the case, how about if you are playing back a recorded show on the mini and shut the TV off... does it sense that at some point and pause the playback?



I searched but did not find this answered in another thread. If I missed it, please point me in the right direction. Thanks!