I don’t know what difference it makes what my cars are worth
I think the issue is that why spend more than the cost of a direct replacement fixing your car?
If it would cost,say, £3k to buy an exact year/model version of your car there’s no point spending £8k fixing the one you have. Simple economics would suggest you could throw away your current car, spend £3k on a direct replacement and you’ve saved yourself money?
Spending £9k would give you a car that would last longer(one assumes) than your existing car as it would be newer. So you might get 8 years use out of a new £9k car and only 3 more out of your current car. Again, economy of spending £8k on fixing it is doubtful?
Anyway, nothing I can say will stop the piano falling off a cliff momentum that is behind your quest for a repair at any price so I’ll shut up now.