Thanks to MikeK on the AV Forums for this fix:
Just to clarify what I did to make Total Media Theatre perform True-HD->DD5.1 downmixing. Well, it doesn't show as Dolby Digital 5.1 on my receiver, it simply shows as 5.1 - I'm guessing from what I've read, and witnessed on my receiver, it is...