Setting the Video Output Format on a TiVo