Yes, you said it your self, "I need my locals in HD". which is only in mpeg4.
the HR10-250 box is mpeg2, TIVO software based and non-interactive. D* dropped TIVO sometime ago, so that box will never get updated and soon be unsupported. and yet they still sell it.
the H20 box is mpeg4, but...