Ok, what sort of history does it have and when was the last pump/belt change?
Pricewise how does it compare to other similar cars?
Personally I’d drop the price and offer it to local indie dealers. Some will insult you but some will know a local mech/have a deal where they’ll sort then retail on for 3.5k+. I’m GUESSING but I don’t think you’d get more than 1.7k in its current form. No private buyer will buy a car with those lights on. They’ll assume you’ve tried/gotten a nasty estimate.
Therefore only traders will be interested. Sorry- I’m being honest.
I paid peanuts recently for a 07 Xsara Picasso that needed a new Climate control unit, integrated CD player and one or two other things. (self sorting).
Again, please don’t get offended.