so a 4ghz threadripper need an AIO ? air doesn't cut it ?