The prices look a little high to me.
Last spring I got 1.4 GHz HP laptop from Circuit City for ~$800 (open box). You should be able to get a better machine than that for the same price today.
Just glanced at
Dell, and there are a couple of 2.4 GHz laptops for under $750.