I own a Lenovo Thinkpad S540 and I just bought my second yesterday in the black Friday deals. For me it's been the perfect Linux Laptop, practically everything

I own a Lenovo Thinkpad S540 and I just bought my second yesterday in the black Friday deals. For me it's been the perfect Linux Laptop, practically everything works straight out of the box, good performance and I use it for home and professional programming. It's slim and light, I've used it for travelling between Europe and the US and it's been fine on the move (definitely not as petite as other ultrabooks though). The specs are below: - Intel Core i7-4510U Processor - 15.6" FHD (1920x1080) Anti-glare Display Black - AMD Radeon HD 8670M Graphics 2GB - 16GB RAM - Keyboard Backlit - UK English - 256GB Solid State Drive Serial ATA3 OPAL2.0 I managed to get it for just over $1000 dollars yesterday so I know it's a little out of your price range but I find the keyboard solid, screen is pretty good and I don't notice any performance issues. (I mainly do Java development and that can be resource intensive). Perhaps you could pick one up on ebay even cheaper, happy to answer any other questions you've got about it!