I think that last time on the JM auction 2 years ago it finished at almost £7,500. So, on that basis, if the commission is 20% (it may have been negotiated/discounted down due to the potential sale price) it would need to reach £9,375 ( £9,375 less 20% = £7,500) as a break-even deal. However, the owner has had the use and enjoyment of owning the record, which has got to be worth something.