Just had a quick tot up, that is an £800+ repair, depending on how good the rest of the car is, that could be within insurance limits on what gets repaired, and what doesn't, worth a punt with the insurance company tbh, its your decision whether to proceed at the end of the day, get an estimate done, and take it from there...
Thom