Why not run the HDMI to the AVR then from AVR to Display? That's the preferred method. Usinf SPDIF to the AVR is also acceptable assuming you have one... I looked online and finding the specs for your s5-1400t ain't easy... maybe you can post a pic of the rear looking for an optical out or an RCA coaxial (Digital) out.
BTW, you can usually find a $20 USB to SPDIF out dongle is you find you don't have one on the system and can't run to the AVR directly w/HDMI