Looking at the rear of that supposed 9400, I see two satellite inputs, and a Remote Control UHF antenna connection, and an HDMI out put, and Component outputs.
I'm taking a big guess here; this unit is definitely a Dual-tuner, and maybe it has a TV2 function after all, in HD.
What mkoz needs to do for all of us is take a photo of the label on the back which indicates the Model # and IRD #.
Or take a photo of the System Information screen and post it.
It ain't a 9400 til he shows us.