Anyone using a laptop that runs Linux, can you recommend me a laptop that works well with Linux for around 750€?Friend of mine wants a laptop that can run Linux around that price.