Any idea what the final price was?
I was watching the auction and it was stuck at £250 for ages, but I had to go out and by the time I got back it was done and dusted and annoyingly they don't show the winning bid amount. I'm betting it went for less than a grand in the end so someone did indeed get a bargain if there was no major damage.
Maybe the new owner will turn up here sometime...