Mark Levinson is offering HDMI in their No.40 processor.
And sorry again, but "top receiver companies, Onkyo, Yamaha, Denon, Integra, and to some degree Rotel" are not anywhere in the league of Levinson, Spectral, and the others.
No offense, but anyone who thinks otherwise, is missing the clue of these brands completely.
If you mix these brands with your Spectral audio system (or Gldm, ML, Krell e.g.) just be sure you leave a clean audio path for your stereo consisting of only the best stuff, and certainly do not interrupt this path with any "alien" brand or product.