Tivos use the MAK number to encrypt the .tivo file. Even if you transfer her video on to your Tivo, it won't play. Tivos use the key during playback as you suspected to prevent the movement of video out of your house. It's part of the Tivo agreement.
chip_r
chip_r