I doesn’t say the year, or how the machine was kept, water, descaled, etc.
Personally, I’d be looking for £800-£1,000 or thereabouts for a good, well kept machine.
If memory doesn’t fail me, those were retailing for £1,800 or thereabouts back in 2018.
But that’s me. 😊