The guy I bought it from sold it to me for what he paid for it - $75 - plus $10 for shipping. A very kind gent of the PRS forum!
With the dip switches etc it's a very versatile pedal. Very, very nice and I can't understand why it wasn't more popular?