you could probably get one a bit cheaper. i mainly deal with new stuff. but a brand new cheap brand name laptop nowdays is around 2k. personally i would need a closer look but if its colour screen runs and battery holds out for more than an hour then i would get it for around $750 cash.
compaq is a good brand though.
i wouldnt want to get anything less than a pentium 2 or 3 in a laptop now.