i've had a few laptops in my time at work, Toshiba,Acer,HP,IBM and Lenovo. Linux would run on all of them some work arounds were required for most. By far the best though was the IBM/Lenovo stuff, i've used R32, R40, R50, R60 and R61 all have worked really well no driver issues that i can remember and the machines last really well.
You can get an R61i for around £450+vat new but may well be over budget.