I've got around $7500 ready to pump in, just awaiting the "opportune moment" 
If the price is being pushed down intentionally to get the large BTCs ceased by the FBI at a lower price, then I think it's probably best to consider buying when closer to the auction date (i.e. 28th of June). I think a month after that date, the BTC would rocket up somehow.The auction price won't be based on some silly little exchange price. It will probably be somewhat higher than exchange prices since it offers the opportunity for a venture capitalist, bank, or serious investor (typical bidder according to leaks) to buy a lot of coins at a relatively low price, without raising the price part way through the transaction.
A good strategy would be to win one or more of the auctions and then buy a couple of thousand coins at market price to greatly increase the value of the coins bought at auction.
It's not rocket surgery.