Currently using an NH-D15 on a 5950x with PBO on, and my PC gets stupid hot, double checked mounting and thermal paste and they are ok. The max temp is just me using my PC, no video editing or similar sort but i am a heavy user overall (lots of browsers / system admin software, gaming simulaneously on the side). Should i switch to an AIO at this point? Airflow on my case should be ok as well.