definately get legal advice, especially as if it is back on the road, its value will be between 0 and 7k and not the 10k it was worth prior to the accident.
(based on the assumption that any damage/repaired car is only worth up to 70% in value to a non damged/repaired vehicle)