I heard only tonight that the dealer is planning to advertise it for £28k with its' 2,600 miles and quiet bevel box and all. Ce la vie.
Probably means he would discount or over-allow around £500, then hold a chunk of the profit back against future rectification. Not sure if I was a dealer, that I would want £25k tied up in an M3W (even Paul's immaculate and sorted one) over the winter period.
But whoever buys it will get a lovely car.