It looks like there are a number of vendors selling a TCD653080 Tivo box - what is it? As far as I can tell, it's actually the Tivo HD (TCD652160). Why would Tivo have two totally different model numbers for the same box? Has anyone actually bought a TCD653080? If so, does the TSN on the box/back panel actually start with 653?