That's just parts though,take labour into account and it's at least double that.
Labour wise:
2 hrs stripdown
May need a little pull on the leg as the wheel looks back,another 2 hrs or if your lucky just a new lower arm so say an hour or so to swap.
2 hours refitting and aligning
Paint,edging up,prep,refinishing,cleaning,4 hrs
£100's worth of materials,paint,filler,clips,sanding discs,tape,polish etc.
Judge it on at least £35p/h so say 8 hours plus £100= £380,maybe plus vat/odds sods at least £400.
Of course doing it yourself,sending it into the shop all lined up and ready to go I would say to blow the front end over £2-250.
Beware a bit with damaged though.
I generally find youll need at least a new battery,quite likely a new spare wheel/jack etc,Mot,tax,often find the good tyres are long gone so it can add up.
To me I'd want that delivered to my door for well under £600 as you'll be looking at near enough the same to get it road legal and I've seen these around the £1200-1400 mark recently so be careful,honestly surprising how quick it adds up.