Has anyone tried to play 4k using 2 Raspberies? I'm a bit confused how to even attempt to play half of the content from each raspberry... how do you sync them both?