Thanks! If the same settings work for BD and DVD, then I suppose that DTS-HD cores are always BD complaint.
To get a DTS track to work with MuxMan without its throwing an error, I've found that I have to use 1509.75kb/s with ffdcaenc (when using eac3to's stdout as well). When viewed with LeeAudBi, the transmission bitrate shows correctly as 1536kb/s, and the primary frame byte-size is correct too.
EDIT: The track that is produced by BeHappy using the settings above is accepted by MuxMan with no problems.