Altough, for £15k you can get this awsome machine,(
http://www.carclassic.com/bikes/html/pages/DK40.htm ) which is a newer (94) bike too, probably had less previous owners aswell.
something to compare between the two sales I supose.
If ebay item gets close to £15k without reaching reserve, i may go with the other.
still way over my budget ( was'nt looking for another 8xx until today).
Still a way to go yet, things could go completely pants aswell.
Robin