But for how much?

Mike mailed back, asking for £8150. That is the original price less the £300 estimate for the bow repair and the £50 to replace the second battery. We didn’t bargain for that, he just did it on his own!