Just FYI, that dealer bought it at Manheim California auction (red light) for $6,000 beginning of last month. Just curious, was $9,500 after any negotiating?