Estimate repair cost?

[Minimini]

I’m looking at buying this bargain mini which is cat N lightly damaged. How much do you think it would cost to repair? I’m wondering if the dent could be beaten out or do you think the bonnet would need replacing?

[Minimini]

Or would you just avoid it altogether? I don’t want to take on something that’s a bit out of my depth!