Pentangle, let me clear up one last bit of misinformation.
If he bit streams to the TV then he needs a TV that can decode the bit stream and send it to a digital out.Not exactly true.
Retired now, but worked in the A/V industry for over 20 years, and Sony was a brand I dealt with. The first year or two when HDMI was added to TV's would be a problem, however if your set is less than 8 years old, then the Dolby Digital bitstream signal is just a pass through from the HDMI input to the digital audio output. So again, this is my recommendation,
If he connects the Blu-ray player and cable box to the TV with HDMI, and they are set for bitstream, he will get a bitstream signal from the digital audio output on the TV, and this can be connected to a digital input on the RX-V1400. Also, changing inputs on the TV will change sound from the RX-V1400 at the same time, rather than having to make an additional change on the RX-V1400 to select the appropriate sound for the picture.