So, I am interested in getting a set of the WDI Storybook pins from D23 with the box. They retailed for either $124.95 or $129.95 per set of 5 pins, so with tax, somewhere between $135 and $141 per set. So between $520 and $564 for the set of 4. Ideally, I'd like to find this set near-cost if possible, but I know it's probably unlikely. With eBay fees, PayPal fees, and shipping, it would seem that $700-725 is about the price that I can expect to pay via eBay if the person selling is trying to get at least their retail cost back. Does that seem like a good price? Does anyone expect the prices to drop? I know they are somewhat small pins. Thanks for any help.