Another vote for just leaving it. Re-paint enough to prevent any future rust issue. Get the panel knocked out a bit maybe.
Mrs IRC got a 3 yr old car in 2010. Within 3 months it got dented on the rear offside wing. Paint OK. Paid a body shop guy £50 to use suction cups and a rubber hammer to get it more or less back into shape. Still obviously had a dent.
7 yrs later still driving the car. She soon forgot it was there.
9 year old car? It isn’t worth the claims record. After all who’s to say that’s the only scrape the car will get while she gains experience. One claim will cost a fortune in insurance. Two claims?
When I changed my 10 year old car for a 1 year old car I missed never having to worry about parking in tight spaces at the supermarket etc. Perfect bodywork is just one more potential hassle.