Hello! I hope you can help

I'm currently looking for a new laptop, price range around RM2,500. I've walked around and I've shortlisted these few models:

Toshiba Satellite L645-1090X
Sony Vaio VPC-EA35FG (on promo at a local Sony store)
Lenovo Ideapad Z360-i5
HP G42-380TX

I do have a preference towards Toshiba as I've been using one for the past 4 years and it's still pretty good, just that the battery doesn't work anymore (that's why I'm looking for a replacement). But I'm open to suggestions and recommendations.

Thanks

p/s: Does Toshiba laptops still come with a recovery disk? 'Cos that would really be great - can format the laptop myself, hehe~