The problem with these 4K laptops where you need to set your font as 250% is that if you RDP to a HyperV Windows 7 VDI machine at the higher resolution, you see

The problem with these 4K laptops where you need to set your font as 250% is that if you RDP to a HyperV Windows 7 VDI machine at the higher resolution, you see nothing because you cannot change font size or resolution on the remote machine. So before you RDP, you need to change the local resolution to something compatible with normal font size (100%) and 15". It is such an annoyance to change resolutions back and forth that you end up configuring the lower resolution permanently.