TiVo HD original hard drive model #?

I have an upgraded TiVo HD that was in a reboot loop, and then it died (womp womp). I was wondering if anyone knew the model number of the original (probably a Western Digital) HD that went with it.

Before scrapping it, I though I would see if it would boot with the original drive, which we have around here somewhere, but that would mean identifying it. Sighhh.