I've been working on this problem and the solution seems to be sending the 5.1 as hdmi over wi-fi. There are plenty of systems that do this but I haven't tested it yet. You can buy devices that convert hdmi to spdif if necessary. Look for wireless hdmi.