My brother is selling his black 2000 Honda Civic EX coupe five-speed. Here are the details:

• Runs fine, no problems
• Original owner, purchased new in 2000
• Currently has ~117k miles, which averages out to about 9k miles annually
• 100% bone stock - only an aftermarket intake was installed once upon a time, but replaced years ago by the OEM intake when smogged and never re-installed
• Has the 1999-2000 Civic Si wheels installed and a replica wing
• Has never been in an accident
• One comprehensive claim from 2001 or 2002 (theft involving radio being stolen, from my recollection); repaired/replaced by insurance and has aftermarket audio system
• Had the major services done last year (spark plugs, serpentine belt, timing belt, water pump, etc.)
• Body is about what you'd expect for a 13 year-old car, though I don't think there are any scratches on it, from what I remember

What do you guys think would be a good asking price? Most similar examples that I found in our area online (Southern California) are around $5,000, while the cheaper ones tend to have way more mileage.