There was one on Freeads a couple of years ago, mint with original case, manual and tools.
It was advertised at £525 and did not hang around long.
They so rarely come to the open market, in the UK, that those that have them, usually know what they are worth.
With the right condition and accessories, worth £550 all day long and there would be a small queue of people for it, at that price.
Value is comparable to a mint cased Walther LPM1.