No, not really. A couple of thousand coins would not have a major impact on the Bitcoin price. Trading volumes are much higher at millions of dollar in a single day. Plus auctioning this Bitcoin is not occurring through any trading site and so it would not really affect the average price of Bitcoin. The most likely option for a price correction is because of August 1. The hard fork will stir up uncertainty as many people dump Bitcoin and invest in other Altcoins till the fork occurs. But after the fork we would most likely see a price hype.