“Does this tv pass through Dolby Digital 5.1 audio to the digital audio output from input devices connected via HDMI (i.e. a Roku 3), or is a separate AVR needed to get full 5.1 audio?”