Bare in mind there is no service manual. In my opinion this matters. A mint one between 8-1000 gbp fully working, mostly condition wise pushes it down to 3-600 as mint ones deserve the premium.
Ignore the daft stuff anyone on ebay asks, those prices are no reflection of what these are worth.