Having had a load of quotes, I think I'm just going to sell it as is with a discount and let whoever buys it decide how to go. Because of the double skin, it's probably going to be a proper body-shop job, and were I the buyer, I might be interested in getting the car for a discount and then it's up to me if I want to get it done. If you're not looking for it, it's not that obvious.