Watchfinder have a couple of these currently listed at £2800 and £2900. No box or papers for either. I suspect they wouldn’t make an offer whilst they have two unsold items. This model is popular here because of the ETA movement, well capable of performing to COSC standard but can be serviced by any competent independent repairer. Maybe your friend also needs to consider that it may need a service.