So for the record, all the dual tuners boxes that we have right now are dual HD *tuners*, there are not dual HD *output's* though.
I know that is what you were asking, for dual HD output, but both tuners in all the dual HD boxes can record HD shows, it's just that HD will only output on TV1