given the poor overclocking of the 4930k but slightly more performance per cycle against the 3930, if you was setting up a high end water cooled system for desktop work such as editing and databases rather than gaming, which chip would you go for? in other words would you think the higher headroom of the 3930 will be enough to outperform the 4930 with a 24/7 overclock? would go for the 4770 over both?