IJ from WMS.
I can’t help myself to remember that one on good condition was for sale at 1500 euros at 10 minutes from my home 4 years ago.... but my wife stopped me from buying it... (it is not serious... come on....)
now you can’t find one less than 8000 euros in France with faded cabinet.... no way I will put this price in a pin which was produced at 12000 units and will always been available... so best is to trade to get one now.