Yes they were known as the TiVo XL

The model numbers were as follows:

663160 = 160GB
663320 = 320GB
663000 = 1TB

But all motherboards are identical which is why you can put up to a 2TB into any TiVo.

And yes a 1TB internal and 1TB external = 2TB .... although I don't suggest anyone go the route of adding an external anymore as they are known to be quite problematic.

HDMI is also repairable but takes a fair amount of soldering skill.