Hi Danieldanger.

I own one of these that is NOS still in the box that I might sell.
I was also following that auction and was not surprised at what it sold at.
In my many years of collecting pedals I have only ever seen the one I have.
Feel free to contact me if you want to work something out!

Dennis