My brother got a 3800x and is using the stock cooler it came with and bios temps say 35-40, idle temps in windows are 50-65, and under load while playing COD max temp shows 97c but on average is 85c. This does not seem okay to me, is this normal for ryzen? Bios settings and voltage are all default. I used the stock thermal compound at first but then reapplied artic silver and reseated the cooler and don't see any improvement. Should he get a noctua dh15 or a better cooler in general? Or how normal are these temps with the stock cooler?