Fair price to pay for bodywork

[T5GRF]

I'm looking at buying a 2012 BMW 7 series that has a few paintwork issues. It really needs the bonnet painting and being a dark grey car and a veteran of many trips to the supermarket car wash the whole body could do with being mopped and polished to remove some fine scratches and swirls. What would be a fair price to pay a body shop to carry out the work?
Cheers

[T5GRF]

Thanks, I don't own the car (yet) I'd like to get some idea of the cost to paint the bonnet etc to help with negotiating a price for it.

[T5GRF]

Thanks for the replies. The bonnet has some deep scratches all over it that won't polish out, there are no dents.

It's been ages since I've had a car needing a trip to the body shop, I figured £600 ought to be the right price but just wanted a sanity check!