Just wondering what NB heatsink everyone is using on the DFI x38? You using stock heatsink with what type of fan or did you buy a whole new nb cooler? just wondering.