I'm travelling, so don't have a TiVo I can look at, but If you look at the list on http://www.oztivo.net/tivo-bin/irdatabase.cgi you will see that there are multiple boxes listed under the Wintel brand.

Once you select Wintel, you should be able to scroll though a list that either shows the model name or the code number of the box.

Peter.