The crease on the wheel arch tells me that’s no DIY job.
Really it’s a £2500 car unless it’s some kind of fancy one.
Given she’s a new driver and the value I wouldn’t bother with insurance, it’ll cost you a lot more in the long run.
Find a decent local place to have a look – to give an example of the different in costs – my Wife reversed into a tree, wrecked her bumper, her Dad’s mate who serves the local Taxi Drivers for repairs fitted and sprayed a new bumper for £250, the paint wasn’t 100% factory, a little orange peal, he said he’d buff it again if we dropped by but we didn’t bother, it was invisible from 2 paces away.
fast forward a year and someone drove into it, made a massive fuss about it, tried to rip us off with the old “we’ll pay cash” line – in the end we claimed on their insurance, new bumper, very good quality paint job (still not factory perfect) £1400 not including the hire car and whatever else.
If they give you a price of more than you can afford, she may have to live with it.