Za 4000 bych dnes asi vybíral něco od Gigabyte/Asusu s P35 a co se týče chladiče, tak HyperTX špatný chladič určitě není, max. OC se u těch chladičů může lišit o ~50 MHz nebo tak, takže to to kritérium úplně není. (a kdo taky provozuje dlouhodobě procesor na krajních hodnotách)