Brother of a work colleague is looking to sell a fairly standard 401/3009 setup that they have had for a while and apparently hasn’t had much interest. What sort of value is there at the moment for those sort of things in working but presumably unrestored condition? (Possibly one for @Ruprecht)
There’s a lot on the market at the moment - look at completed listings on eBay. By rights this combination should be in the £900-£1K region minus fees + shipping woe. PM if your friend wants a meaty solution