of course the year of the car, condition, mileage, number of owners, maintenance, etc greatly affects the price. on average a '01 with 80-100k miles is around $12.5k asking price but can be obtained for around $11k. i saw a used car dealership sell a '02 for $13.9k with about 80k miles on it. i don't know if the buyer negotiated the price but thats what the dealer's asking price was.
the 90k mile maintenance is probably the most expensive since you're replacing the timing belt and other things but you might want them to do the water pump also instead of doing it later on and having to pay for the additional labor. the price for this varies depending on your location and where you get it done. you can expect to pay more than $1000 though for parts and labor.