Just an update guys, went for
This HT-D5530 Samsung and loving the sound from it :-)
---------- Post added at 22:46 ---------- Previous post was at 21:56 ----------
Anyone heard reports of the TiVo dropping the Dolby Digital audio from it and needing several reboots to fix? Is this bug still occuring?