Have you guys found additional NB cooling necessary? Is a 40mm fan good enough?