I'm looking at a 2000 ES 300, Platinum Edition. Lexus Premium Stereo, no other significant options. Car has 50k miles, maintenance history is good. Involved in a accident a couple of years ago, @$7,000 in damage, vehicle has been repaired well enough so damage is unnoticeable. Car is at the local Lexus dealer, traded in on new Lexus. They're asking $15.5k, any input will be appreciated.