I am looking for a Thinkpad T40 with at least 512 MB RAM and a good battery, and no damage. I will pay around $800, $900 if there is at least a year of warranty left.