Setting Video Output Format on TiVo Boxes