Incidentally, I ended up using the OBS-NDI plugin to send the video, and the free NDI tools to receive it and play it back. Much simpler and rock solid provided you've got a good network (wired gig recommended, but a solid 802.11n or better infrastructure). This is on the windows platform.