I am building some PCs for a video editing class we are starting. I have most of the materials picked out what I will be using. The CPU will be the Xeon E3-1230 V2. We cannot overclock so I am going with a Xeon cpu. Anyway my question is with video editing and no gaming, Do I need an aftermarket cooler? Thanks.