So, I am looking to buy a 3930k, supposedly this one has always been under water, and never seen anything over 80C, let alone was only oc'd for benching twice... What would this chip be worth?