What is the size of the TiVo OS?
I figure that one could take the size of disk - size of OS to get the number you need...
I guess that one could also always add up all the sizes of shows in "now playing" via the web interface and ballpark it.
Redrhino