Postscript: There’s another 109 currently on eBay. Buy It Now price is $3,900—and it has to be shipped from South Korea.