I saw some extra spicy E5-4650 chips on eBay for $699. The seller is willing to discount down to $670 if I buy four. It appears from Google searches, these same chips might have been available for $599 in the past. I'm just wondering what folks have paid for these chips over the last few months. Thanks.