What is the File Format .TIVO? On my PC using "TIVO Desktop" software

What is the File Format .TIVO? On my PC using "TIVO Desktop" software

Is this actually like an MP4 file or something? Is .TIVO a real file format?

Thanks.

What is the File Format .TIVO? On my PC using "TIVO Desktop" software