He's asking 3500 or 3500 over book? Out here on the west coast through my shop, I see this same year in good shape with lower miles sell between 3000 and 5000 all day long. Depending on a repair, it doesn't necessarily increase the value of the car, but it will make it easier to sell.