Over ten similarly configured models have been sold on eBay in the past two weeks. About $400-600 USD.
If you register on eBay (free), you can look at the prices for items whose auctions have completed.
It's a Toshiba Satellite A15-S129. I'll use the restore disk to revert the laptop to its factory configurations.
The only problem with it is that two keys on the keyboard are broken, but still work.
How much would this laptop sell -- on eBay or some other place, for instance -- with the broken keyboard?
Quick specs:
2.4 GHz Mobile Celeron
256MB DDR RAM
40GB hard drive
CD-RW/DVD combo drive
15" XGA screen
Approximately 6 pounds
Thanks in advance for your help.

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic