When I crashed my Mini a few years back, it ended up just like yours, and the repair bill came to £9k. I went back to the bodyshop a couple of times because I wasn't happy with the pain finish on the bonnet and the alignment of the panels but overall I didnt have any problems, and kept it for another 2 years!