Close to that so it's probably ~200USD too much from US perspective.
But from European perspective it can make a lot of sense.
Last time I bought the a polished black PB1 I paid 550 USD at Ebay. Add the shipping to Europe and VAT which is close to 20% in many European countries and the total comes very close to my asking price.