I use Remote Desktop extension for Google Chrome. It's easy and it's free. Just need chrome browser on both machines. Wish all the best for your friend. PS: Just don't use alt+f4 :)