I'm using 10.7.5 on Mac. The remote desktop to a Windows machine (connected on a local gigabit LAN) is very laggy. This has happened as soon as I've added a second 4K display. The lag is especially notable when a video is playing on the Windows machine (viewed from the remote desktop). I presume there are perhaps more pixels to push, but the entire experience is very, very sluggish. Can something be done to speed things up please? Thank you.