Depends on how bad the damage was, how well it's been repaired but if it was minor and is as good as you say I would guess at more than £5k but certainly not £8.5k, probably about £6.5k.