Covered - M Sparks has a 942. The others are the 921, 811 and 6000.
The 5000 became obsolete for HD when the last QPSK channel was switched to 8PSK.
The 6000u has the 8PSK module or built-in equivalent.
Some of the standard receivers (x11, x22, 625) will decode 8PSK though not HD and, as you said, the SD channels are only sent in QPSK.
The 5000 became obsolete for HD when the last QPSK channel was switched to 8PSK.
The 6000u has the 8PSK module or built-in equivalent.
Some of the standard receivers (x11, x22, 625) will decode 8PSK though not HD and, as you said, the SD channels are only sent in QPSK.