Hah, nope it isn’t an Intel. I’m currently fighting with my wife’s old workstation that I’m trying to use as a Linux gaming rig. It has an i7 9700 in it, and it just does not want to run under 82C in game. I replaced the old thermal paste, added two (larger) case fans, and moved the HDD to improve airflow. I can try a better low-profile cooler, but I really don’t know if that’s going to do it either. Short of water cooling, which would mean new case as well, I don’t know what to do.